8 search results - page 2 / 2 » Cadena: An Integrated Development, Analysis, and Verificatio... |
GI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....