1326 search results - page 103 / 266 » Semantic Coherence in Software Engineering |
116
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
103
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
167
click to vote
PEPM
1995
ACM
15 years 6 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
113
click to vote
ICSE
1991
IEEE-ACM
15 years 6 months ago
1991
IEEE-ACM
We present our experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape Environment. Our positive experience included experimentation, i...
112
click to vote
IESA
2007
15 years 4 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...