118 search results - page 1 / 24 » A Relational Model for Formal Object-Oriented Requirement An... |
ICFEM
2003
Springer
13 years 10 months ago
2003
Springer
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
JOT
2010
13 years 3 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
JUCS
2002
13 years 5 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
UML
2001
Springer
13 years 9 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...