Bibliography

Major publications by the team in recent years

1B. Baudry, F. Fleurey, J.-M. Jézéquel, Y. Le Traon.

Automatic Test Cases Optimization: a Bacteriologic Algorithm, in: IEEE Software, March 2005, vol. 22, n^o 2, pp. 76–82.
2B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu.

Barriers to Systematic Model Transformation Testing, in: Communications of the ACM journal, Jun 2010, vol. 53, n^o 6, 10 p.

http://hal.inria.fr/inria-00542747_v1
3J.-M. Jézéquel.

Real Time Components and Contracts, in: Model Driven Engineering for Distributed Real Time Embedded Systems, Hermes Science Publishing Ltd, London, 2005.
4J.-M. Jézéquel.

Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, n^o 2, pp. 209–218.
5J. Klein, F. Fleurey, J.-M. Jézéquel.

Weaving Multiple Aspects in Sequence Diagrams, in: Transactions on Aspect-Oriented Software Development (TAOSD), 2007, vol. LNCS 4620, pp. 167-199.

http://www.irisa.fr/triskell/publis/2007/Klein07a.pdf
6Y. Le Traon, B. Baudry, J.-M. Jézéquel.

Design by Contract to improve Software Vigilance, in: IEEE Trans. on Software Engineering, August 2006, vol. 32, n^o 8, pp. 571–586.
7B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.

Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.

http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
8C. Nebut, F. Fleurey, Y. Le Traon, J.-M. Jézéquel.

Automatic Test Generation: A Use Case Driven Approach, in: IEEE Trans. on Software Engineering, March 2006, vol. 32, n^o 3, pp. 140–155.
9J. Steel, J.-M. Jézéquel.

On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, n^o 4, pp. 401–414.

http://www.irisa.fr/triskell/publis/2007/Steel07a.pdf
10G. Sunyé, A. Le Guennec, J.-M. Jézéquel.

Using UML Action Semantics for Model Execution and Transformation, in: Information Systems, Elsevier, July 2002, vol. 27, n^o 6, pp. 445–457.
11T. Ziadi, J.-M. Jézéquel.

Product Line Engineering with the UML: Deriving Products, in: Software Product Lines - Research Issues in Engineering and Management, T. Käkölä, J. C. Dueñas (editors), Springer Verlag, 2006, n^o ISBN: 978-3-540-33252-7, pp. 557–586.

Publications of the year

Doctoral Dissertations and Habilitation Theses

12S. Creff.

Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00926119
13E. Daubert.

Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse, INSA de Rennes, May 2013.

http://hal.inria.fr/tel-00904364
14F. Fouquet.

Kevoree : Model@Runtime pour le developpement continu de systèmes adaptatifs distribues heterogènes, Université Rennes 1, March 2013.

http://hal.inria.fr/tel-00831018
15C. Guy.

Facilités de typage pour l'ingénierie des langages, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00917789
16A. Hervieu.

Approche à contraintes pour la sélection de Covering Array, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00915223
17P. Istoan.

Methodology for the derivation of product behaviour in a Software Product Line, Université Rennes 1 and Université du Luxembourg, February 2013.

http://hal.inria.fr/tel-00925479
18P. Istoan.

Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle, Université Rennes 1 and université du Luxembourg, February 2013.

http://hal.inria.fr/tel-00926141
19T. Le Nhan.

Ingénierie dirigée par les modèles pour le provisioning d'images de machines virtuelles pour l'informatique en nuage, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00926228
20T. Le Nhan.

Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00923811
21V. H. Nguyen.

Une methode fondee sur les modèles pour gerer les proprietes temporelles des systèmes à composants logiciels, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00923305
22N. Sannier.

INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté, Université Rennes 1, December 2013.

http://hal.inria.fr/tel-00941881

Articles in International Peer-Reviewed Journals

23M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien, P. Lahire.

Extraction and Evolution of Architectural Variability Models in Plugin-based Systems, in: Software & Systems Modeling (SoSyM), July 2013, 27 p. [ DOI : 10.1007/s10270-013-0364-2 ]

http://hal.inria.fr/hal-00859472
24M. Acher, P. Collet, P. Lahire, R. France.

FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models, in: Science of Computer Programming, June 2013, vol. 78, n^o 6, pp. 657 - 681. [ DOI : 10.1016/j.scico.2012.12.004 ]

http://hal.inria.fr/hal-00767175
25P. Francis, N. Mathieu, M. Naouel, G. Yann-Gael, B. Baudry, J.-M. Jézéquel.

SOA Antipatterns: an Approach for their Specification and Detection, in: International Journal of Cooperative Information Systems, September 2013.

http://hal.inria.fr/hal-00916299
26C. Jard, D. Lime, O. H. Roux, L.-M. Traonouez.

Symbolic Unfolding of Parametric Stopwatch Petri Nets, in: Formal Methods in System Design, May 2013, vol. 43, n^o 3, pp. 493-519. [ DOI : 10.1007/s10703-013-0188-2 ]

http://hal.inria.fr/hal-00840368
27J.-M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, F. Fouquet.

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, in: Software and Systems Modeling, 2013.

http://hal.inria.fr/hal-00829839
28M. Monperrus, B. Baudry, J. Champeau, B. Hoeltzener, J.-M. Jézéquel.

Automated Measurement of Models of Requirements, in: Software Quality Journal, 2013, vol. 21, n^o 1, pp. 3-22, WOS. [ DOI : 10.1007/s11219-011-9163-6 ]

http://hal.inria.fr/hal-00646876
29Y. Sun, J. Gray, R. Delamare, B. Baudry, J. White.

Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation, in: Journal of Software Maintenance and Evolution: Research and Practice, July 2013.

http://hal.inria.fr/hal-00916287
30G. Sunyé, E. Cunha De Almeida, Y. Le Traon, B. Baudry, J.-M. Jézéquel.

Model-Based Testing of Global Properties on Large-Scale Distributed Systems, in: Information and Software Technology, 2014.

http://hal.inria.fr/hal-00942576

Articles in National Peer-Reviewed Journals

31B. Combemale, J. Deantoni, A. Koudri, J. Le Noir.

Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes, in: Génie logiciel, 2013, n^o 105, pp. 4-11.

http://hal.inria.fr/hal-00854221

Invited Conferences

32P. Collet, P. Lahire, M. Acher, R. France.

Feature Model Management: Smart Operations and Language Support, in: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Miami, United States, September 2013.

http://hal.inria.fr/hal-00913157

International Conferences with Proceedings

33E. K. Abbasi, M. Acher, P. Heymans, A. Cleve.

Reverse Engineering Web Configurators, in: 17th European Conference on Software Maintenance and Reengineering (CSMR), Antwerp, Belgium, IEEE, February 2014.

http://hal.inria.fr/hal-00913139
34M. Acher, B. Combemale, P. Collet, O. Barais, P. Lahire, R. France.

Composing your Compositions of Variability Models, in: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Miami, United States, September 2013, vol. Lecture Notes in Computer Science, 17 p.

http://hal.inria.fr/hal-00859473
35M. Acher, P. Heymans, A. Cleve, J.-L. Hainaut, B. Baudry.

Support for Reverse Engineering and Maintaining Feature Models, in: VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Pisa, Italy, ACM, January 2013.

http://hal.inria.fr/hal-00766786
36M. Acher, R. E. Lopez-Herrejon, R. Rabiser.

A Survey on Teaching of Software Product Lines, in: Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14), Nice, France, ACM, January 2014, pp. 1-8. [ DOI : 10.1145/2556624.2556629 ]

http://hal.inria.fr/hal-00916746
37B. Baudry, M. Monperrus, C. Mony, F. Chauvel, F. Fleurey, S. Clarke.

DIVERSIFY - Ecology-inspired software evolution for diversity emergence, in: CSMR, Antwerp, Belgium, IEEE, February 2014, pp. 395-398.

http://hal.inria.fr/hal-00916281
38O. Beaudoux, M. Clavreul, A. Blouin.

Binding Orthogonal Views for User Interface Design, in: Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO'13), Montpellier, France, ACM press, 2013, in press.

http://hal.inria.fr/hal-00826705
39S. Bensalem, M. Bozga, B. Boyer, A. Legay.

Incremental Generation of Linear Invariants for Component-Based Systems, in: 3th International Conference on Application of Concurrency to System Design (ACSD), Barcelona, Spain, 2013, pp. 1-10.

http://hal.inria.fr/hal-00878738
40M. Biazzini, P. Serrano-Alvarado, R. Carvajal-Gomez.

Towards improving user satisfaction in decentralized P2P networks, in: COLLABORATECOM, United States, October 2013, 1 p.

http://hal.inria.fr/hal-00871672
41B. Combemale, J. Deantoni, R. France, F. Boulanger, S. Mosser, M. Pantel, B. Rumpe, R. Salay, M. Schindler.

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013), in: GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Miami, United States, CEUR, 2013, vol. Vol-1102, pp. 3-13.

http://hal.inria.fr/hal-00926244
42B. Combemale, J. Deantoni, M. Vara Larsen, F. Mallet, O. Barais, B. Baudry, R. France.

Reifying Concurrency for Executable Metamodeling, in: SLE - 6th International Conference on Software Language Engineering, Indianapolis, IN, United States, M. Erwig, R. F. Paige, E. Van Wyk (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8225, pp. 365-384. [ DOI : 10.1007/978-3-319-02654-1_20 ]

http://hal.inria.fr/hal-00850770
43B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, B. Baudry.

Bridging the Chasm between Executable Metamodeling and Models of Computation, in: 5th International Conference, SLE 2012, Desden, Germany, K. Czarnecki, G. Hedin (editors), Lecture Notes in Computer Science, Springer, February 2013, vol. 7745, pp. 184-203, ISBN: 978-3-642-36088-6.

http://hal.inria.fr/hal-00905067
44J.-M. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelang-Huang, P. Heymans.

Feature Model Extraction from Large Collections of Informal Product Descriptions, in: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Saint Petersburg, Russian Federation, August 2013, pp. 290-300. [ DOI : 10.1145/2491411.2491455 ]

http://hal.inria.fr/hal-00859475
45D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.

Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems, in: Search Based Software Engineering, Saint Petersbourg, Russian Federation, August 2013.

http://hal.inria.fr/hal-00859877
46D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.

Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems, in: WiMob - The 9th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications - 2013, Lyon, France, October 2013.

http://hal.inria.fr/hal-00859891
47M. Faunes, J. Cadavid, B. Baudry, H. Sahraoui, B. Combemale.

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples, in: MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Miami, United States, Lecture Notes in Computer Science, Springer, 2013, pp. 187-202.

http://hal.inria.fr/hal-00923789
48M. Felice Ciolfi, J. B. Ferreira Filho, M. Acher, A. Blouin, O. Barais.

Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies, in: MAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering, and Workshop on Scalable Modeling Techniques for SPL, Tokio, Japan, August 2013.

http://hal.inria.fr/hal-00842656
50T. Genet, T. Le Gall, A. Legay, V. Murat.

Tree Regular Model Checking for Lattice-Based Automata, in: CIAA - 18th International Conference on Implementation and Application of Automata, Halifax, Canada, LNCS, Springer, 2013, vol. 7982.

http://hal.inria.fr/hal-00924849
51E. Khalil Abbasi, A. Hubaux, M. Acher, Q. Boucher, P. Heymans.

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases, in: CAiSE'13 - 25th International Conference on Advanced Information Systems Engineering - 2013, Valencia, Spain, M. Norrie, C. Salinesi (editors), June 2013, vol. 7908, pp. 162-177.

http://hal.inria.fr/hal-00796555
52S. Kounev, S. Rizou, S. Zschaler, S. Alexakis, T. Bures, J.-M. Jézéquel, D. Kourtesis, S. Pantelopoulos.

RELATE: a research training network on engineering and provisioning of service-based cloud applications, in: Proceedings of the 2013 international workshop on Hot topics in cloud services, Prague, Czech Republic, S. Kounev, S. Zschaler, K. Sachs (editors), ACM, 2013, pp. 51-54. [ DOI : 10.1145/2462307.2462319 ]

http://hal.inria.fr/hal-00921120
53M. Kramer, J. Klein, J. R. Steel, B. Morin, J. Kienzle, O. Barais, J.-M. Jézéquel.

Achieving Practical Genericity in Model Weaving through Extensibility, in: Theory and Practice of Model Transformations - 6th International Conference, Budapest, Hungary, K. Duddy, G. Kappel (editors), Springer, 2013, pp. 108-124. [ DOI : 10.1007/978-3-642-38883-5_12 ]

http://hal.inria.fr/hal-00921058
54V. Lelli.

Challenges of Testing for Critical Interactive Systems, in: International Conference on Software Testing, Verification and Validation, Luxembourg, March 2013.

http://hal.inria.fr/hal-00804876
55D. Marijan, A. Gotlieb, S. Sen, A. Hervieu.

Practical Pairwise Testing for Software Product Lines, in: SPLC 2013, Tokyo, Japan, August 2013.

http://hal.inria.fr/hal-00859438
56D. Mendez, B. Baudry, M. Monperrus.

Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software, in: International Conference on Source Code Analysis and Manipulation (SCAM'2013), Netherlands, 2013, 10 p.

http://hal.inria.fr/hal-00844753
57M. Monperrus, B. Baudry.

Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair, in: Dagstuhl Seminar n°13061 "Fault Prediction, Localization, and Repair", Germany, 2013, 5 p.

http://hal.inria.fr/hal-00844735
58F. Moyano, B. Baudry, J. Lopez.

Towards Trust-Aware and Self-Adaptive Systems, in: IFIPTM, Malaga, Spain, June 2013.

http://hal.inria.fr/hal-00916280
59J. Richard-Foy, O. Barais, J.-M. Jézéquel.

Efficient high-level abstractions for web programming, in: Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, United States, J. Jarvi, C. Kastner (editors), ACM, 2013, pp. 53-60. [ DOI : 10.1145/2517208.2517227 ]

http://hal.inria.fr/hal-00920786
60E. Rouillé, O. Barais, B. Combemale, T. David, J.-M. Jézéquel.

Improving Reusability in Software Process Lines, in: Euromicro Conference on Software Engineering and Advanced Applications, Santander, Spain, September 2013.

http://hal.inria.fr/hal-00838771
61E. Rouillé, B. Combemale, O. Barais, T. David, J.-M. Jézéquel.

Integrating Software Process Reuse and Automation, in: Asia-Pacific Software Engineering Conference (APSEC), Bangkok, Thailand, December 2013.

http://hal.inria.fr/hal-00872188
62N. Sannier, M. Acher, B. Baudry.

From Comparison Matrix to Variability Model: The Wikipedia Case Study, in: 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, United States, IEEE, 2013.

http://hal.inria.fr/hal-00858491
63E. Vacchi, W. Cazzola, S. Pillay, B. Combemale.

Variability Support in Domain-Specific Language Development, in: SLE - 6th International Conference on Software Language Engineering, Indianapolis, IN, United States, M. Erwig, R. F. Paige, E. Van Wyk (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8225, pp. 76-95. [ DOI : 10.1007/978-3-319-02654-1_5 ]

http://hal.inria.fr/hal-00914715
64S. Wuliang, B. Combemale, S. Derrien, R. France.

Using Model Types to Support Contract-Aware Model Substitutability, in: 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Montpellier, France, P. Van Gorp, T. Ritter, L. Rose (editors), LNCS, Springer-Verlag Berlin Heidelberg, 2013, vol. 7949, pp. 118-133. [ DOI : 10.1007/978-3-642-39013-5_9 ]

http://hal.inria.fr/hal-00808770

National Conferences with Proceedings

65O. Barais, B. Baudry, A. Blouin, B. Combemale, J.-M. Jézéquel, D. Vojtisek.

A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience, in: Conférence en IngénieriE du Logiciel (CIEL), Nancy, France, April 2013.

http://hal.inria.fr/hal-00796009
66G. Bécan, S. Ben Nasr, B. Baudry.

An Ontologic-Aware Feature Modeling Environment, in: Journées lignes de produits - 2013, Paris, France, November 2013.

http://hal.inria.fr/hal-00915662
67N. Sannier, G. Bécan, S. Ben Nasr, B. Baudry.

On Product Comparison Matrices and Variability Models from a Product Comparison/Configuration Perspective, in: Journée lignes de produits - 2013, Paris, France, November 2013.

http://hal.inria.fr/hal-00915657

Scientific Books (or Scientific Book chapters)

68A. Hubaux, M. Acher, T. T. Tun, P. Heymans, P. Collet, P. Lahire.

Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, in: Domain Engineering: Product Lines, Conceptual Models, and Languages, I. Reinhartz-Berger, A. Sturm, T. Clark, J. Bettin, S. Cohen (editors), Springer, August 2013, pp. 3-28. [ DOI : 10.1007/978-3-642-36654-3_1 ]

http://hal.inria.fr/hal-00767213

Books or Proceedings Editing

69B. Combemale, W. Cazzola, R. B. France (editors)

GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages, ACM, 2013, 33 p.

http://hal.inria.fr/hal-00916292
70B. Combemale, J. Deantoni, R. B. France, B. Barn, T. Clark, U. Frank, V. Kulkarni, D. Turk (editors)

Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013, CEUR-WS, 2013, vol. 1102, 88 p.

http://hal.inria.fr/hal-00916282

Internal Reports

71A. Arnold, B. Boyer, A. Legay.

Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach, January 2013, 21 p.

http://hal.inria.fr/hal-00778039
72G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.

Breathing Ontological Knowledge Into Feature Model Management, Inria, October 2013, n^o RT-0441, 15 p.

http://hal.inria.fr/hal-00874867
73B. Delahaye, A. Legay, S. Sedwards.

A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes, September 2013.

http://hal.inria.fr/hal-00856704
74D. El Kateb, F. Fouquet, J. Bourcier, Y. Le Traon.

Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms, November 2013.

http://hal.inria.fr/hal-00948329

References in notes

75D. Benavides, S. Segura, A. Ruiz-Cortes.

Automated Analysis of Feature Models 20 years Later: a Literature Review, in: Information Systems, 2010, vol. 35, n^o 6.
76T. Berger, R. Rublack, D. Nair, Joanne M. Atlee, M. Becker, K. Czarnecki, A. Wasowski.

A survey of variability modeling in industrial practice, in: VaMoS'13, ACM, 2013.
77A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.

Making Components Contract Aware, in: IEEE Computer, July 1999, vol. 13, n^o 7.
78G. Booch.

Object-Oriented Analysis and Design with Applications, 2nd, Benjamin Cummings, 1994.
79E. Gamma, R. Helm, R. Johnson, J. Vlissides.

Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 1995.
80M. Jackson.

System Development, Prentice-Hall International, Series in Computer Science, 1985.
81J.-M. Jézéquel, B. Meyer.

Design by Contract: The Lessons of Ariane, in: Computer, January 1997, vol. 30, n^o 1, pp. 129–130.
82B. Meyer.

Reusability: The Case for Object-Oriented Design, in: IEEE SOFTWARE, March 1987, n^o 3, pp. 50–64.
83B. Meyer.

Applying "Design by Contract", in: IEEE Computer (Special Issue on Inheritance & Classification), October 1992, vol. 25, n^o 10, pp. 40–52.
84B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.

Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.

http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
85B. Morin, O. Barais, G. Nain, J.-M. Jézéquel.

Taming Dynamically Adaptive Systems with Models and Aspects, in: 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, Canada, 2009.

http://hal.inria.fr/inria-00468516
86G. Nain.

EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services, Université Rennes 1, December 2011.

http://hal.inria.fr/tel-00646664
87A. Rashid, J. Araújo.

Modularisation and composition of aspectual requirements, in: Proceedings of the 2nd international conference on Aspect-oriented software development, 2003, pp. 11–20.
88C. Szyperski.

Component Software: Beyond Object-Oriented Programming, ACM Press and Addison-Wesley, New York, N.Y., 1998.
89J. Warmer, A. Kleppe.

The Object Constraint Language, Addison-Wesley, 1998.

Previous |

Home