745 search results - page 7 / 149 » Towards a Formal Approach for Object Database Design |
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
WICSA
2008
14 years 11 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
113
click to vote
ICSM
1996
IEEE
15 years 1 months ago
1996
IEEE
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...
FMOODS
2007
14 years 11 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...