-
1
-
-
0004025792
-
-
Cambridge University Press
-
Abrial, J-R. The B-Book. Cambridge University Press, 1996,779p.
-
(1996)
The B-Book
-
-
Abrial, J.-R.1
-
2
-
-
84949236394
-
The State of Change: A Survey
-
Bonner, A.J.; Kifer, M. The State of Change: A Survey. LNCS 1472,1998, pp. 1-36.
-
(1998)
LNCS
, vol.1472
, pp. 1-36
-
-
Bonner, A.J.1
Kifer, M.2
-
3
-
-
35048886980
-
Data and Activities: Exploiting Hierarchies of Classes
-
Borgida, A.; Greenspan, S. Data and Activities: Exploiting Hierarchies of Classes. Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp. 98-100.
-
Workshop on Data Abstraction, Databases and Conceptual Modelling
, vol.1980
, pp. 98-100
-
-
Borgida, A.1
Greenspan, S.2
-
4
-
-
0019243320
-
Information Modeling in the Context of System Development
-
North-Holland
-
Bubenko, J.A.jr. Information Modeling in the Context of System Development. Proc. IFIP 1980, North-Holland, 1980, pp. 395-411.
-
(1980)
Proc. IFIP 1980
, pp. 395-411
-
-
Bubenko Jr., J.A.1
-
6
-
-
0003963591
-
-
ddison-Wesley
-
Ceri, S.; Fraternalli, P. Designing Database Applications with Objects and Rules. The IDEA Methodology. Addison-Wesley, 1997,579p.
-
(1997)
IDEA Methodology
-
-
Ceri, S.1
Fraternalli, P.2
-
7
-
-
0003691163
-
Object-Oriented Development
-
Prenticel Hall
-
Coleman, D.; Arnold, P.; Bodoff, S.; Dollin, C.; Gilchrist, H.; Hayes, F.; Jeremaes, P. Object-Oriented Development. The Fusion Method. Prenticel Hall, 1994,316p.
-
(1994)
Fusion Method
-
-
Coleman, D.1
Arnold, P.2
Bodoff, S.3
Dollin, C.4
Gilchrist, H.5
Hayes, F.6
Jeremaes, P.7
-
9
-
-
84948952387
-
Temporal Features of Class Populations and Attributes in Conceptual Models
-
Springer
-
Costal, D.; Olive, A.; Sancho, M-R. 'Temporal Features of Class Populations and Attributes in Conceptual Models. Proc. ER'97, LNCS 1331, Springer, pp. 57-70.
-
Proc. ER'97, LNCS
, vol.1331
, pp. 57-70
-
-
Costal, D.1
Olive, A.2
Sancho, M.-R.3
-
10
-
-
0003854752
-
Objects, Components and Frameworks with UML
-
Addison-Wesley
-
D'Souza, D.F.; Wills, A.C. Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999,785 p.
-
(1999)
Catalysis Approach
-
-
D'Souza, D.F.1
Wills, A.C.2
-
11
-
-
0027574423
-
Goal-directed requirements acquisition
-
Dardenne, A.; van Lamsweerde, A.; Fickas, S. Goal-directed requirements acquisition. Science of Computer Programming, 20(1993), pp. 3-50.
-
(1993)
Science of Computer Programming
, vol.20
, pp. 3-50
-
-
Dardenne, A.1
Van Lamsweerde, A.2
Fickas, S.3
-
14
-
-
33750306263
-
EU-Rent Car Rentals Specification
-
Frias, L.; Olive, A.; Queralt, A. EU-Rent Car Rentals Specification. UPC, Research Report LSI 03-59-R, 2003,159 p., http://www.lsi.upc.es/dept/techreps/ techreps.html.
-
(2003)
UPC, Research Report LSI 03-59-R
-
-
Frias, L.1
Olive, A.2
Queralt, A.3
-
15
-
-
0003880013
-
-
Addison-Wesley
-
Gamma, E.; Helm, R.; Johnson, R.; Vlissides, J. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995,395 p.
-
(1995)
Design Patterns. Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
16
-
-
0031187475
-
Executable Object Modeling with Statecharts
-
July
-
Harel, D.; Gery, E. Executable Object Modeling with Statecharts. IEEE Computer, July 1997, pp. 31-42.
-
(1997)
IEEE Computer
, pp. 31-42
-
-
Harel, D.1
Gery, E.2
-
17
-
-
35048875170
-
-
IEEE. IEEE Standard for Conceptual Modeling Language Syntax and Semantics for IDEF1X97 (IDEFobject). IEEE Std 1320.2-1998,1999.
-
IEEE. IEEE Standard for Conceptual Modeling Language Syntax and Semantics for IDEF1X97 (IDEFobject). IEEE Std 1320.2-1998,1999.
-
-
-
-
19
-
-
0030127113
-
TROLL-A Language for ObjectOriented Specification of Information Systems
-
Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C. TROLL-A Language for ObjectOriented Specification of Information Systems. ACM TOIS, 14(2), 1996, pp. 175-211.
-
(1996)
ACM TOIS
, vol.14
, Issue.2
, pp. 175-211
-
-
Jungclaus, R.1
Saake, G.2
Hartmann, T.3
Sernadas, C.4
-
24
-
-
0019022430
-
A Language Facility for Designing Database-Intensive Applications
-
Mylopoulos, J.; Bernstein, P.A.; Wong, H.K.T. A Language Facility for Designing Database-Intensive Applications. ACM TODS, 5(2), pp. 185-207,1980.
-
(1980)
ACM TODS
, vol.5
, Issue.2
, pp. 185-207
-
-
Mylopoulos, J.1
Bernstein, P.A.2
Wong, H.K.T.3
-
25
-
-
25144439733
-
Time and Change in Conceptual Modeling of Information Systems
-
In Brinkkemper, S.;' Lindencrona, E.; Solvberg, A. Springer
-
Olivé, A. Time and Change in Conceptual Modeling of Information Systems. In Brinkkemper, S.;' Lindencrona, E.; Solvberg, A. Information Systems Engineering. State of the Art and Research Themes, Springer, 2000, pp. 289-304.
-
Information Systems Engineering. State of the Art and Research Themes
, vol.2000
, pp. 289-304
-
-
Olivé, A.1
-
26
-
-
25144440243
-
Derivation Rules in Object-Oriented Conceptual Modeling Languages
-
Proc. CAiSE
-
Olivé, A. Derivation Rules in Object-Oriented Conceptual Modeling Languages. Proc. CAiSE 2003, LNCS 2681, pp. 404-420.
-
(2003)
LNCS
, vol.2681
, pp. 404-420
-
-
Olivé, A.1
-
27
-
-
0142218981
-
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages
-
Proc. ER 2003
-
Olivé, A. Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. Proc. ER 2003, LNCS 2813, pp. 349-362,2003.
-
(2003)
LNCS
, vol.2813
, pp. 349-362
-
-
Olivé, A.1
-
28
-
-
0036721856
-
Derived types and taxonomic constraints in conceptual modeling
-
Olivé, A.; Teniente, E. Derived types and taxonomic constraints in conceptual modeling. Information Systems, 27(6), 2002, pp. 391-409.
-
(2002)
Information Systems
, vol.27
, Issue.6
, pp. 391-409
-
-
Olivé, A.1
Teniente, E.2
-
29
-
-
84862485850
-
-
OMG. UML Superstructure 2.0 Final Adopted Specification
-
OMG. UML Superstructure 2.0 Final Adopted Specification, 2003, http://www.omg.org/cgi-bin/doc7ptc/2003-08-02.
-
(2003)
-
-
-
33
-
-
84947715778
-
Dynamic Modelling with Events
-
Proc. CAiSE'94
-
Teisseire, M; Poncelet, P.; Cichetti, R. Dynamic Modelling with Events, Proc. CAiSE'94, LNCS 811, pp. 186-199,1994.
-
(1994)
LNCS
, vol.811
, pp. 186-199
-
-
Teisseire, M.1
Poncelet, P.2
Cichetti, R.3
-
34
-
-
0032268617
-
A survey of structured and object-oriented software specification methods and techniques
-
December 98
-
Wieringa, R. A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys, 30(4), December 98, pp. 459-527.
-
ACM Computing Surveys
, vol.30
, Issue.4
, pp. 459-527
-
-
Wieringa, R.1
|