GitLab

Resolve "Add formal specification and verification of software components interacting with asynchronous communication"

Closes #48

See merge request CPS_Design/EST!63

Merge branch '48-add-formal-specification-and-verification-of-software-components-interacting-with-asynchronous' into 'master'

Resolve "Add formal specification and verification of software components interacting with asynchronous communication"

See merge request CPS_Design/EST!58

Merge branch '50-provide-default-implementation-to-methods-in-abstractsystemmodel-and-abstractstatemachinemodel' into 'master'

Resolve "Provide default implementation to methods in AbstractSystemModel  and AbstractStateMachineModel"

Closes #50

See merge request CPS_Design/EST!62

Merge branch '49-add-abstract-classes-that-implement-the-interfaces-abstractsystemmodel-and' into 'master'

Resolve "Add abstract classes that implement the interfaces AbstractSystemModel and AbstractStateMachineModel"

Closes #49

See merge request CPS_Design/EST!61

AbstractSystemModel

Resolve "Porting to Eclipse 2021-03"

Closes #47

See merge request CPS_Design/EST!57

fix dependency from eu.fbk.tools.adapter plugin

47-porting-to-eclipse-2021-03

Conflicts:
	eu.fbk.eclipse.standardtools.parent/releng/eu.fbk.eclipse.standardtools.target.2020-06/eu.fbk.eclipse.standardtools.target.2020-06.target

Resolve "Porting to Eclipse 2020-06"

Closes #45

See merge request CPS_Design/EST!60

add sirius features to repository plugin for Eclipse 2020

Resolve "Porting to Eclipse 2020-06"

Closes #45

See merge request CPS_Design/EST!59

Resolve "Porting to Eclipse 2020-06"

Closes #45

See merge request CPS_Design/EST!55