740 search results - page 5 / 148 » Constraints in Object-Oriented Analysis and Design |
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
103
click to vote
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
PPDP
2005
Springer
15 years 4 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
111
click to vote
TSE
1998
14 years 11 months ago
1998
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...