-
3
-
-
0003423421
-
-
McGraw-Hill, London
-
P. Atzeni, S. Ceri, S. Paraboschi, and R. Torlone. Database Systems: Concepts, Languages and Architectures. McGraw-Hill, London, 1999.
-
(1999)
Database Systems: Concepts, Languages and Architectures
-
-
Atzeni, P.1
Ceri, S.2
Paraboschi, S.3
Torlone, R.4
-
4
-
-
0013301894
-
-
Tutorial, Department of Computer Science, University of Texas
-
D. Batory. Software Generators, Architectures, and Reuse. Tutorial, Department of Computer Science, University of Texas, 1996.
-
(1996)
Software Generators, Architectures, and Reuse
-
-
Batory, D.1
-
5
-
-
0003936753
-
-
Invited presentation to the "Software Quality Institute Symposion on Software Reliability", Austin
-
D. Batory. Intelligent Components and Software Generators. Invited presentation to the "Software Quality Institute Symposion on Software Reliability", Austin, 1997.
-
(1997)
Intelligent Components and Software Generators
-
-
Batory, D.1
-
6
-
-
78049335165
-
A Classification of Stereotypes for Object-Oriented Modeling Languages
-
Springer, Berlin
-
S. Berner, M. Glinz, and S. Joos. A Classification of Stereotypes for Object-Oriented Modeling Languages. In Proc. 2nd Int. Conf. on the UML, LNCS 1723, pages 249-264. Springer, Berlin, 1999.
-
(1999)
Proc. 2Nd Int. Conf. on the UML, LNCS 1723
, pp. 249-264
-
-
Berner, S.1
Glinz, M.2
Joos, S.3
-
7
-
-
0345884636
-
Making the future safe for the past: Adding genericity to the java programming language
-
G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Proc. Int. Conf. on Object Oriented Programming Systems, Languages and Applications (OOP-SLA'98), pages 183-200, 1998.
-
(1998)
Proc. Int. Conf. on Object Oriented Programming Systems, Languages and Applications (OOP-SLA'98)
, pp. 183-200
-
-
Bracha, G.1
Odersky, M.2
Stoutamire, D.3
Wadler, P.4
-
8
-
-
84961338392
-
Assembly Techniques for Method Engineering
-
In B. Pernici and C. Thanos, editors, Springer, Berlin
-
S. Brinkkemper, M. Saeki, and F. Harmsen. Assembly Techniques for Method Engineering. In B. Pernici and C. Thanos, editors, Proc. 10th Int. Conf. on Advanced Information Systems Engineering (CAiSE'98), Pisa, LNCS 1413, pages 381-400. Springer, Berlin, 1998.
-
(1998)
Proc. 10Th Int. Conf. on Advanced Information Systems Engineering (Caise'98), Pisa, LNCS 1413
, pp. 381-400
-
-
Brinkkemper, S.1
Saeki, M.2
Harmsen, F.3
-
10
-
-
0000976981
-
A hierarchy-aware approach to faceted classification of object-oriented components
-
E. Damiani, M.G. Fugini, and C. Belletini. A hierarchy-aware approach to faceted classification of object-oriented components. ACM Transactions on Software Engineering and Methodology, 8(3):215-262, 1999.
-
(1999)
ACM Transactions on Software Engineering and Methodology
, vol.8
, Issue.3
, pp. 215-262
-
-
Damiani, E.1
Fugini, M.G.2
Belletini, C.3
-
11
-
-
84997429004
-
Databases in Software Engineering: A RoadMap
-
ACM Press
-
K.R. Dittrich, D. Tombros, and A. Geppert. Databases in Software Engineering: A RoadMap. In A. Finkelstein, editor, The Future of Software Engineering (in conjunction with ICSE 2000), pages 291-302. ACM Press, 2000.
-
(2000)
A. Finkelstein, Editor, the Future of Software Engineering (In Conjunction with ICSE 2000)
, pp. 291-302
-
-
Dittrich, K.R.1
Tombros, D.2
Geppert, A.3
-
13
-
-
0013192954
-
Towards a Module Concept for Object Oriented Specification Languages
-
In J. Barzdins, editor, Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, Riga
-
S. Eckstein. Towards a Module Concept for Object Oriented Specification Languages. In J. Barzdins, editor, Proc. of the 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, volume 2, pages 180-188. Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, Riga, 1998.
-
(1998)
Proc. of the 3Rd Int. Baltic Workshop on Data Bases and Information Systems, Riga
, vol.2
, pp. 180-188
-
-
Eckstein, S.1
-
15
-
-
0002157523
-
Object Specification
-
In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brackner, editors, Springer, Berlin
-
H.-D. Ehrich. Object Specification. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Brackner, editors, Algebraic Foundations of Systems Specification, chapter 12, pages 435-465. Springer, Berlin, 1999.
-
(1999)
Algebraic Foundations of Systems Specification, Chapter 12
, pp. 435-465
-
-
Ehrich, H.-D.1
-
16
-
-
0034144974
-
Specifying Communication in Distributed Information Systems
-
H.-D. Ehrich and C. Caleiro. Specifying Communication in Distributed Information Systems. Acta Informatica, 36:591-616, 2000.
-
(2000)
Acta Informatica
, vol.36
, pp. 591-616
-
-
Ehrich, H.-D.1
Caleiro, C.2
-
17
-
-
0002211360
-
Logics for Specifying Concurrent Information Systems
-
In J. Chomicki and G. Saake, editors, Kluwer Academic Publishers, Dordrecht
-
H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167-198. Kluwer Academic Publishers, Dordrecht, 1998.
-
(1998)
Logics for Databases and Information Systems, Chapter 6
, pp. 167-198
-
-
Ehrich, H.-D.1
Caleiro, C.2
Sernadas, A.3
Denker, G.4
-
18
-
-
84947943409
-
Local Specification of Distributed Families of Sequential Objects
-
In E. Astesiano, G. Reggio, and A. Tarlecki, editors, S. Margherita, Italy, May/June 1994, Selected papers, LNCS 906, Springer, Berlin
-
H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, Selected papers, LNCS 906, pages 219-235. Springer, Berlin, 1995.
-
(1995)
Recent Trends in Data Types Specification, Proc. 10Th Workshop on Specification of Abstract Data Types Joint with the 5Th COMPASS Workshop
, pp. 219-235
-
-
Ehrich, H.-D.1
Sernadas, A.2
-
21
-
-
22844457209
-
Information Services for the Web: Building and Maintaining Domain Models
-
A. Gal, S. Kerr, and J. Mylopoulos. Information Services for the Web: Building and Maintaining Domain Models. Int. Journal ofCooperative Information Systems (IJCIS), 8(4):227-254, 1999.
-
(1999)
Int. Journal Ofcooperative Information Systems (IJCIS)
, vol.8
, Issue.4
, pp. 227-254
-
-
Gal, A.1
Kerr, S.2
Mylopoulos, J.3
-
22
-
-
0029701557
-
Parameterized Programming and Software Architecture
-
IEEE Computer Society, editor
-
J. Goguen. Parameterized Programming and Software Architecture. In IEEE Computer Society, editor, Proceedings Fourth International Conference on Software Reuse, pages 2-11, 1996.
-
(1996)
Proceedings Fourth International Conference on Software Reuse
, pp. 2-11
-
-
Goguen, J.1
-
24
-
-
0013243529
-
An Implementation Oriented Semantics for Module Composition
-
G.T. Leavens and M. Sitaraman, editors, Cambridge University Press
-
J. Goguen and W. Tracz. An Implementation Oriented Semantics for Module Composition. In G.T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, pages 231-263. Cambridge University Press, 2000.
-
(2000)
Foundations of Component-Based Systems
, pp. 231-263
-
-
Goguen, J.1
Tracz, W.2
-
25
-
-
84957809239
-
The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools
-
In T.W. Ling, S. Ram, and M.L. Lee, editors, Springer, LNCS 1507
-
A. Grau, J. Kuster Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H.-D. Ehrich. The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools. In T.W. Ling, S. Ram, and M.L. Lee, editors, Proc. 17th Int. Conf. on Conceptual Modeling (ER'98), pages 277-290. Springer, LNCS 1507, 1998.
-
(1998)
Proc. 17Th Int. Conf. on Conceptual Modeling (ER'98)
, pp. 277-290
-
-
Grau, A.1
Kuster Filipe, J.2
Kowsari, M.3
Eckstein, S.4
Pinger, R.5
Ehrich, H.-D.6
-
26
-
-
84945266603
-
From Play-In Scenarios to Code: An Achievable Dream
-
In T. Maibaum, editor, Springer, LNCS 1783
-
D. Harel. From Play-In Scenarios to Code: An Achievable Dream. In T. Maibaum, editor, Proc. 3rd Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2000), pages 22-34. Springer, LNCS 1783, 2000.
-
(2000)
Proc. 3Rd Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2000)
, pp. 22-34
-
-
Harel, D.1
-
28
-
-
0031124053
-
Information systems modelling with TROLL — formal methods at work
-
P. Hartel, G. Denker, M. Kowsari, M. Krone, and H.-D. Ehrich. Information systems modelling with TROLL — formal methods at work. Information Systems, 22(2-3):79-99, 1997.
-
(1997)
Information Systems
, vol.22
, Issue.2-3
, pp. 79-99
-
-
Hartel, P.1
Denker, G.2
Kowsari, M.3
Krone, M.4
Ehrich, H.-D.5
-
30
-
-
0013194989
-
Synergy between Component-Based and Generative Approaches
-
In O. Nierstrasz and M. Lemoine, editors, Springer, LNCS 1687
-
S. Jarzabek and P. Knauber. Synergy between Component-Based and Generative Approaches. In O. Nierstrasz and M. Lemoine, editors, Software Engineering - ESEC/FSE'99, pages 429-445. Springer, LNCS 1687, 1999.
-
(1999)
Software Engineering - ESEC/FSE'99
, pp. 429-445
-
-
Jarzabek, S.1
Knauber, P.2
-
31
-
-
84931833595
-
Application Experience with a Repository System for Information Systems Development
-
R. Kaschke, editor, Teubner
-
M. Jeusfeld, M. Jarke, M. Staudt, C. Quix, and T. List. Application Experience with a Repository System for Information Systems Development. In R. Kaschke, editor, Proc. EMISA (Methods for Developing Information Systems and their Applications), pages 147-174. Teubner, 1999.
-
(1999)
Proc. EMISA (Methods for Developing Information Systems and Their Applications)
, pp. 147-174
-
-
Jeusfeld, M.1
Jarke, M.2
Staudt, M.3
Quix, C.4
List, T.5
-
32
-
-
84947918073
-
Developing an Information System Using TROLL: An Application Field Study
-
In P. Constan-topoulos, J. Mylopoulos, and Y. Vassiliou, editors, Berlin, Springer
-
M. Krone, M. Kowsari, P. Hartel, G. Denker, and H.-D. Ehrich. Developing an Information System Using TROLL: an Application Field Study. In P. Constan-topoulos, J. Mylopoulos, and Y. Vassiliou, editors, Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96), LNCS 1080, pages 136-159, Berlin, 1996. Springer.
-
(1996)
Proc. 8Th Int. Conf. on Advanced Information Systems Engineering (Caise'96), LNCS 1080
, pp. 136-159
-
-
Krone, M.1
Kowsari, M.2
Hartel, P.3
Denker, G.4
Ehrich, H.-D.5
-
34
-
-
0005260343
-
Fundamentals of a Module Logic for Distributed Object Systems
-
March
-
J. Kuster Filipe. Fundamentals of a Module Logic for Distributed Object Systems. Journal ofFunctional and Logic Programming, 2000(3), March 2000.
-
(2000)
Journal Offunctional and Logic Programming
, vol.2000
, Issue.3
-
-
Kuster Filipe, J.1
-
37
-
-
0347594172
-
Adaptive Plug-and-Play Components for Evolutionary Software Development
-
Vancouver
-
M. Mezini and K. Lieberherr. Adaptive Plug-and-Play Components for Evolutionary Software Development. In Proc. of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '98), volume 33 (10) of SIGPLAN Notices, pages 97-116, Vancouver, 1998.
-
(1998)
Proc. of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '98), Volume 33 (10) of SIGPLAN Notices
, pp. 97-116
-
-
Mezini, M.1
Lieberherr, K.2
-
39
-
-
49149133619
-
Petri Nets, Event Structures and Domains, Part 1
-
M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, 13:85-108, 1981.
-
(1981)
Theoretical Computer Science
, vol.13
, pp. 85-108
-
-
Nielsen, M.1
Plotkin, G.2
Winskel, G.3
-
41
-
-
2342435872
-
A Three-Level Schema Architecture for the Conceptual Design of Web-Based Information Systems: From Web-Data Management to Integrated Web-Data and Web-Process Management
-
G. Preuner and M. Schrefl. A Three-Level Schema Architecture for the Conceptual Design of Web-Based Information Systems: From Web-Data Management to Integrated Web-Data and Web-Process Management. World Wide Web Journal, Special Issue on World Wide Web Data Management, 3(2), 2000.
-
(2000)
World Wide Web Journal, Special Issue on World Wide Web Data Management
, vol.3
, Issue.2
-
-
Preuner, G.1
Schrefl, M.2
-
42
-
-
0003511049
-
-
Prentice Hall, New York
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, New York, 1991.
-
(1991)
Object-Oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
44
-
-
0033652029
-
Generating User Interface Code in a Model Based User Interface Development Environment
-
In V. di Gesu, S. Levialdi, and L. Tarantino, editors, ACM Press, New York
-
P. di Silva, T. Griffiths, and N. Paton. Generating User Interface Code in a Model Based User Interface Development Environment. In V. di Gesu, S. Levialdi, and L. Tarantino, editors, Proc. Advanced Visual Interfaces (AVI 2000), pages 155-160. ACM Press, New York, 2000.
-
(2000)
Proc. Advanced Visual Interfaces (AVI 2000)
, pp. 155-160
-
-
Di Silva, P.1
Griffiths, T.2
Paton, N.3
-
45
-
-
84957800100
-
Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology
-
In T.W. Ling, S. Ram, and M.L. Lee, editors, Singapore, Springer, LNCS 1507
-
O. De Troyer. Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology. In T.W. Ling, S. Ram, and M.L. Lee, editors, Proc. 17th Int. Conf. on Conceptual Modeling (ER'98), Singapore, pages 51-64. Springer, LNCS 1507, 1998.
-
(1998)
Proc. 17Th Int. Conf. on Conceptual Modeling (ER'98)
, pp. 51-64
-
-
De Troyer, O.1
-
46
-
-
0030262004
-
Using Role Components to Implement Collaboration Based Designs
-
San Jose
-
M. VanHilst and D. Notkin. Using Role Components to Implement Collaboration Based Designs. In Proc. of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '96), volume 28 (10) of SIGPLAN Notices, pages 359-369, San Jose, 1996.
-
(1996)
Proc. of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '96), Volume 28 (10) of SIGPLAN Notices
, pp. 359-369
-
-
Vanhilst, M.1
Notkin, D.2
-
48
-
-
0009872247
-
OMTROLL -Object Modeling in TROLL
-
University of Hannover No. 01/93
-
R. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake. OMTROLL -Object Modeling in TROLL. In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01/93, pages 267-283, 1993.
-
(1993)
U.W. Lipeck and G. Koschorreck, Editors, Proc. Intern. Workshop on Information Systems — Correctness and Reusability IS-CORE '93, Technical Report
, pp. 267-283
-
-
Wieringa, R.1
Jungclaus, R.2
Hartel, P.3
Hartmann, T.4
Saake, G.5
-
49
-
-
84947918113
-
Algebraic Specification Languages: An Overview
-
In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Springer, LNCS 906
-
M. Wirsing. Algebraic Specification Languages: An Overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 81-115. Springer, LNCS 906, 1995.
-
(1995)
Recent Trends in Data Type Specification
, pp. 81-115
-
-
Wirsing, M.1
|