|Date||22 May 2022, 12:00 CET|
|Participants||AA, BB, …, CC. Minutes by DD.|
The language board needs input from the community with regard to RC #49 and RC #50.
The language board has been working on these issues, and the discussion needs inputs from language users.
FRAM (Functional Resonance Analysis Method) collaboration support is added. FRAM models collaborations as functions/activities in an organization mutually coupled through 6 aspects (input, output, time, precondition, control and resource). Functions/activities in a model can be imported into a VDM source as skeltons of operation definitions, and also operations in a VDM source can be merged into a FRAM model. Traceability between VDM and FRAM is maintained through annotations in VDM and comments in FRAM.
details about it
Many of the recently added features are now available for users (e.g. FMI Import/Export).
See download stats on the downloads page
The Strategic Research Agenda is reviewed every other NetMeeting.
Also see Planned Publications.