780 search results - page 11 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
DATE
2010
IEEE
14 years 21 days ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
SOCA
2010
IEEE
13 years 5 months ago
2010
IEEE
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
JOT
2010
13 years 6 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...