Transcription of Crescendo Tool Support: User Manual
{{id}} {{{paragraph}}}
Example: tourism industry
Crescendo Tool Support: User Manual
Crescendo Technical Report SeriesNo. TR-001 November 2013 Crescendo tool support : user ManualVersion Gorm Larsen, Kenneth Lausdahl, Joey Coleman and Sune WolffAarhus University, Department of EngineeringFinlandsgade 22, DK-8200 Aarhus N, DenmarkChristian Kleijn and Frank GroenControllab Products 500, 7521 AN Enschede, The NetherlandsCrescendo Co-Simulation for Embedded Control SystemsCrescendo tool support : user ManualDocument historyMonthYearVersionVersion of (then called DESTECS) (review by M. Verhoef)iiContents1 is the Crescendo tool ? .. was the DESTECS Project? .. is the Vienna Development Method?
The Crescendo tool (www.crescendotool.org) is a gradual increase of the Overture tool in the sense that it has all the support present inside Overture and in addition it supports collaborative modelling and simulation with a combination of the DE notation VDM-RT and the Continuous
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: