Sciweavers

36320 search results - page 4 / 7264
» From Code to Models
Sort
View
FORTE
2004
13 years 8 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
TOOLS
2008
IEEE
14 years 1 months ago
Engineering Associations: From Models to Code and Back through Semantics
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
Zinovy Diskin, Steve M. Easterbrook, Jürgen D...
AOSD
2010
ACM
14 years 2 months ago
From aspect-oriented models to aspect-oriented code?: the maintenance perspective
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
Aram Hovsepyan, Riccardo Scandariato, Stefan Van B...
ASWEC
2005
IEEE
14 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He