Repositories list

• selabhvl.github.io

  Public
  Web-presence of the Software Engineering research group at HVL

  0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• dat250public

  Public
  Java

  •14•9•1•0•Updated Oct 11, 2024Oct 11, 2024

• dat250-projectreport-template

  Public
  Latex project report template

  TeX

  •13•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• unto-MDSE-semester-project

  Public
  Coq

  •0•0•0•0•Updated Jun 20, 2024Jun 20, 2024

• REFINITY-refa-ISoLA22

  Public
  TeX

  •0•0•0•0•Updated May 7, 2024May 7, 2024

• ada502public

  Public
  Python

  •0•0•0•0•Updated Apr 26, 2024Apr 26, 2024

• ing301-projectpartD-startcode

  Public template
  Python

  •2•0•0•0•Updated Apr 20, 2024Apr 20, 2024

• dat110public

  Public
  Java

  •131•11•0•5•Updated Apr 13, 2024Apr 13, 2024

• hvl-phd-latextemplate

  Public template
  Latex template for PhD dissertations at HVL

  TeX

  •

  MIT License

  •4•3•0•0•Updated Apr 10, 2024Apr 10, 2024

• ing301public

  Public
  Python

  •63•6•0•1•Updated Mar 28, 2024Mar 28, 2024

• ing301-project-complete

  Public
  Python

  •0•0•0•0•Updated Mar 27, 2024Mar 27, 2024

• ing301-projectpartC-startcode

  Public template
  Python

  •2•0•0•0•Updated Mar 20, 2024Mar 20, 2024

• ing301-projectpartA-startcode

  Public template
  Python

  •1•1•0•0•Updated Mar 19, 2024Mar 19, 2024

• dat110-project3-dht-startcode

  Public template
  Java

  •14•0•0•0•Updated Mar 14, 2024Mar 14, 2024

• unto-ac-coq-formalisation

  Public
  The formalisation in COQ of the XC language abstracting the FCPP semantics.

  Coq

  •1•2•0•0•Updated Mar 5, 2024Mar 5, 2024

• ing301-projectpartB-startcode

  Public
  Python

  •1•0•0•0•Updated Mar 2, 2024Mar 2, 2024

• dat110-project2-mom-startcode

  Public template
  Java

  •25•0•0•0•Updated Feb 19, 2024Feb 19, 2024

• dat110-project1-rpc-startcode

  Public template
  Java

  •24•0•0•0•Updated Feb 5, 2024Feb 5, 2024

• ing301-warmup-assignment

  Public template
  Python

  •0•0•0•0•Updated Feb 1, 2024Feb 1, 2024

• fcpp-sample-project

  Public
  Sample project using FCPP

  C++

  •4•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• dynamic-frcm

  Public template
  Python

  •

  GNU Lesser General Public License v3.0

  •8•1•0•1•Updated Jan 26, 2024Jan 26, 2024

• dat250-spring-counters-todos

  Public
  Java

  •0•0•0•0•Updated Dec 28, 2023Dec 28, 2023

• dat250public-2019

  Public
  DAT250: Advanced Software Technologies

  Java

  •3•3•9•5•Updated Nov 20, 2023Nov 20, 2023

• cpnmcdctesting

  Public
  Rich Text Format

  •0•4•1•0•Updated May 22, 2023May 22, 2023

• REFINITY-abstractallocate

  Public
  A modified version of REFINITY with the abstract allocate modification

  0•0•0•0•Updated Nov 7, 2022Nov 7, 2022

• mbtcpn

  Public
  MBT/CPN tool for model-based testing with Coloured Petri Nets

  Go

  •1•1•0•0•Updated Jul 22, 2022Jul 22, 2022

• stolz-srh60-artefact

  Public
  Public repo for files related to upcoming paper.

  Makefile

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated May 27, 2022May 27, 2022

• dat110-project4-startcode-cloudservice

  Public template
  Start code for cloud service

  Java

  •0•0•0•1•Updated May 20, 2022May 20, 2022

• dat110-project3-testing

  Public
  Tester for prosjekt 3

  Java

  •3•0•0•0•Updated Mar 12, 2022Mar 12, 2022

• dat110-project2-chapp

  Public
  ChApp client application for project 2

  Java

  •6•0•0•0•Updated Feb 15, 2022Feb 15, 2022