1865 search results - page 7 / 373 » A Rule-Based, Integrated Modelling Approach for Object-Orien... |
TAP
2008
Springer
14 years 9 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
FTDCS
1999
IEEE
15 years 1 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
VLDB
1993
ACM
15 years 1 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
EWDW
1990
15 years 1 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
104
Voted
ICCL
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...