skip to main content
Skip header Section
Object-oriented software construction (2nd ed.)April 1997
  • Author:
  • Bertrand Meyer
Publisher:
  • Prentice-Hall, Inc.
  • Division of Simon and Schuster One Lake Street Upper Saddle River, NJ
  • United States
ISBN:978-0-13-629155-8
Published:01 April 1997
Pages:
1254
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Meyer B, Arkadova A and Kogtenkov A (2024). The Concept of Class Invariant in Object-oriented Programming, Formal Aspects of Computing, 36:1, (1-38), Online publication date: 31-Mar-2024.
  2. ACM
    Tan I and Poskitt C Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, (1307-1313)
  3. ACM
    Li H, Hao Y, Zhai Y and Qian Z Assisting Static Analysis with Large Language Models: A ChatGPT Experiment Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (2107-2111)
  4. Liu Z, Teng J and Liu B Formal Aspects of Component Software Formal Aspects of Component Software, (168-193)
  5. Huang L, Meyer B and Oriol M Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites Testing Software and Systems, (52-70)
  6. ACM
    Molina F, Ponzio P, Aguirre N and Frias M EvoSpex: A Search-Based Tool for Postcondition Inference Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, (1519-1522)
  7. ACM
    Stocker M and Zimmermann O API Refactoring to Patterns: Catalog, Template and Tools for Remote Interface Evolution Proceedings of the 28th European Conference on Pattern Languages of Programs, (1-32)
  8. Moldt D, Hansson M, Seifert L, Ihlenfeldt K, Clasen L, Ehlers K and Feldmann M Enriching Heraklit Modules by Agent Interaction Diagrams Application and Theory of Petri Nets and Concurrency, (440-463)
  9. ACM
    Molina F, d'Amorim M and Aguirre N Fuzzing class specifications Proceedings of the 44th International Conference on Software Engineering, (1008-1020)
  10. Frank U (2022). Multi-level modeling: cornerstones of a rationale, Software and Systems Modeling (SoSyM), 21:2, (451-480), Online publication date: 1-Apr-2022.
  11. Hähnle R and Huisman M Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools Computing and Software Science, (345-373)
  12. ACM
    Waseeb S, Khail W and Vranic V Establishing a Pattern Language for the Organization of Distributed Software Development Proceedings of the 26th European Conference on Pattern Languages of Programs, (1-9)
  13. Molina F, Ponzio P, Aguirre N and Frias M EvoSpex Proceedings of the 43rd International Conference on Software Engineering, (1223-1235)
  14. ACM
    Molina F Applying learning techniques to oracle synthesis Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (1153-1157)
  15. Burnay N, Lopes A and Vasconcelos V Statically Checking REST API Consumers Software Engineering and Formal Methods, (265-283)
  16. ACM
    Zimmermann O, Lübke D, Zdun U, Pautasso C and Stocker M Interface Responsibility Patterns Proceedings of the European Conference on Pattern Languages of Programs 2020, (1-24)
  17. ACM
    Nejati J and Balasubramanian A (2020). WProfX: A Fine-grained Visualization Tool for Web Page Loads, Proceedings of the ACM on Human-Computer Interaction, 4:EICS, (1-22), Online publication date: 18-Jun-2020.
  18. ACM
    King P (2020). A history of the Groovy programming language, Proceedings of the ACM on Programming Languages, 4:HOPL, (1-53), Online publication date: 14-Jun-2020.
  19. Rivera V and Meyer B (2019). AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs, SN Computer Science, 1:1, Online publication date: 1-Jan-2020.
  20. Rivera V, Aslam H, Naumchev A, de Carvalho D, Khazeev M and Mazzara M Towards Code Review Guideline in a Classroom Frontiers in Software Engineering Education, (88-105)
  21. Naumchev A, Sadovykh A and Ivanov V VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) Software Technology: Methods and Tools, (351-363)
  22. Zhan H, Lin Q, Wang S, Talpin J, Xu X and Zhan N Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow Unifying Theories of Programming, (109-129)
  23. ACM
    Lübke D, Zimmermann O, Pautasso C, Zdun U and Stocker M Interface evolution patterns Proceedings of the 24th European Conference on Pattern Languages of Programs, (1-24)
  24. ACM
    Jiang J, Hong Z and Chen Y (2019). Modeling and Analyzing Incremental Natures of Developing Software, ACM Transactions on Management Information Systems, 10:2, (1-32), Online publication date: 30-Jun-2019.
  25. Molina F, Degiovanni R, Ponzio P, Regis G, Aguirre N and Frias M Training binary classifiers as data structure invariants Proceedings of the 41st International Conference on Software Engineering, (759-770)
  26. ACM
    Wang C Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning Proceedings of the ACM Conference on Global Computing Education, (150-156)
  27. Zolotas A, Matragkas N, Devlin S, Kolovos D and Paige R (2019). Type inference in flexible model-driven engineering using classification algorithms, Software and Systems Modeling (SoSyM), 18:1, (345-366), Online publication date: 1-Feb-2019.
  28. ACM
    Bijlsma A, Passier H, Pootjes H and Stuurman S Integrated Test Development Proceedings of the 7th Computer Science Education Research Conference, (9-20)
  29. ACM
    Stucki N, Giarrusso P and Odersky M Truly abstract interfaces for algebraic data types: the extractor typing problem Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, (56-60)
  30. ACM
    Hanus M Verifying Fail-Free Declarative Programs Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, (1-13)
  31. Polikarpova N, Tschannen J and Furia C (2018). A fully verified container library, Formal Aspects of Computing, 30:5, (495-523), Online publication date: 1-Sep-2018.
  32. da Silva C, de Souza Tavares J and Ferreira M Arduino Library Developed for Petri Net Inserted into RFID Database and Variants Application and Theory of Petri Nets and Concurrency, (396-405)
  33. ACM
    Tahvili S, Hatvani L, Felderer M, Afzal W, Saadatmand M and Bohlin M Cluster-based test scheduling strategies using semantic relationships between test specifications Proceedings of the 5th International Workshop on Requirements Engineering and Testing, (1-4)
  34. ACM
    Mo R, Cai Y, Kazman R and Feng Q Assessing an architecture's ability to support feature evolution Proceedings of the 26th Conference on Program Comprehension, (297-307)
  35. ACM
    Springer M and Masuhara H Ikra-Cpp Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing, (1-9)
  36. Dadeau F, Giorgetti A, Bouquet F and Enderlin I (2018). Contract-based testing for PHP with Praspel, Journal of Systems and Software, 136:C, (209-222), Online publication date: 1-Feb-2018.
  37. ACM
    Kanatov A and Zouev E SLang Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia, (1-13)
  38. ACM
    Novikov F, Fedorchenko L, Vorobiev V, Fatkieva R and Levonevskiy D Attribute-based approach of defining the secure behavior of automata objects Proceedings of the 10th International Conference on Security of Information and Networks, (67-72)
  39. Bettini L and Damiani F (2017). Xtraitj, Journal of Systems and Software, 131:C, (419-441), Online publication date: 1-Sep-2017.
  40. Capitán L and Vogel-Heuser B Metrics for software quality in automated production systems as an indicator for technical debt 2017 13th IEEE Conference on Automation Science and Engineering (CASE), (709-716)
  41. ACM
    Noble J, Black A, Bruce K, Homer M and Miller M The left hand of equals Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (224-237)
  42. Atkinson C and Kühne T Demystifying Ontological Classification in Language Engineering Proceedings of the 12th European Conference on Modelling Foundations and Applications - Volume 9764, (83-100)
  43. Cataño N and Rivera V EventB2Java Proceedings of the 8th International Symposium on NASA Formal Methods - Volume 9690, (166-171)
  44. ACM
    Kolesnichenko A, Poskitt C, Nanz S and Meyer B (2015). Contract-based general-purpose GPU programming, ACM SIGPLAN Notices, 51:3, (75-84), Online publication date: 11-May-2016.
  45. Summers A and Müller P Actor Services Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (699-726)
  46. Corrodi C, Heuβner A and Poskitt C A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 9633, (31-48)
  47. ACM
    Keil M and Thiemann P (2015). Blame assignment for higher-order contracts with intersection and union, ACM SIGPLAN Notices, 50:9, (375-386), Online publication date: 18-Dec-2015.
  48. Castro P, Aguirre N, Pombo C and Maibaum T (2015). Categorical foundations for structured specifications in , Formal Aspects of Computing, 27:5-6, (831-865), Online publication date: 1-Nov-2015.
  49. ACM
    Felgentreff T, Lincke J, Hirschfeld R and Thamsen L Lively groups: shared behavior in a world of objects without classes or prototypes Proceedings of the Workshop on Future Programming, (15-22)
  50. ACM
    Kolesnichenko A, Poskitt C, Nanz S and Meyer B Contract-based general-purpose GPU programming Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (75-84)
  51. ACM
    Zouev E and Kanatov A Some aspects of a modern common-purpose programming language design Proceedings of the 11th Central & Eastern European Software Engineering Conference in Russia, (1-8)
  52. ACM
    Chari G, Garbervetsky D, Marr S and Ducasse S Towards fully reflective environments 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (240-253)
  53. Dianxiang Xu , Kent M, Thomas L, Mouelhi T and Le Traon Y (2015). Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets, IEEE Transactions on Computers, 64:9, (2490-2505), Online publication date: 1-Sep-2015.
  54. Barbier F, Cariou E, Le Goaer O and Pierre S (2015). Software Adaptation: Classification and a Case Study with State Chart XML, IEEE Software, 32:5, (68-76), Online publication date: 1-Sep-2015.
  55. ACM
    Keil M and Thiemann P Blame assignment for higher-order contracts with intersection and union Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, (375-386)
  56. ACM
    Leavens G and Naumann D (2015). Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, ACM Transactions on Programming Languages and Systems, 37:4, (1-88), Online publication date: 13-Aug-2015.
  57. ACM
    Siek J, Thiemann P and Wadler P (2015). Blame and coercion: together again for the first time, ACM SIGPLAN Notices, 50:6, (425-435), Online publication date: 7-Aug-2015.
  58. Ampatzoglou A, Chatzigeorgiou A, Charalampidou S and Avgeriou P (2015). The Effect of GoF Design Patterns on Stability: A Case Study, IEEE Transactions on Software Engineering, 41:8, (781-802), Online publication date: 1-Aug-2015.
  59. Caballero R, Montenegro M, Kuchen H and Hof V Checking Java Assertions Using Automated Test-Case Generation Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 9527, (221-226)
  60. ACM
    Antonucci P, Estler C, Nikolić D, Piccioni M and Meyer B An Incremental Hint System For Automated Programming Assignments Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, (320-325)
  61. Mcneile A and Simons N Protocol Modelling Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (167-196)
  62. Shin J, Rusakov A and Meyer B Concurrent software engineering and robotics education Proceedings of the 37th International Conference on Software Engineering - Volume 2, (370-379)
  63. ACM
    Yi J, Qi D, Tan S and Roychoudhury A (2015). Software Change Contracts, ACM Transactions on Software Engineering and Methodology, 24:3, (1-43), Online publication date: 13-May-2015.
  64. ACM
    Nandi C, Monot A and Oriol M Stochastic Contracts for Runtime Checking of Component-based Real-time Systems Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, (111-116)
  65. Kirchner F, Kosmatov N, Prevosto V, Signoles J and Yakobowski B (2015). Frama-C: A software analysis perspective, Formal Aspects of Computing, 27:3, (573-609), Online publication date: 1-May-2015.
  66. Din C and Owe O (2015). Compositional reasoning about active objects with shared futures, Formal Aspects of Computing, 27:3, (551-572), Online publication date: 1-May-2015.
  67. ACM
    Ramsey N (2014). On teaching *how to design programs*, ACM SIGPLAN Notices, 49:9, (153-166), Online publication date: 26-Nov-2014.
  68. ACM
    Passier H, Stuurman S and Pootjes H Beautiful JavaScript Proceedings of the Computer Science Education Research Conference, (65-76)
  69. ACM
    Milanez A, Massoni T and Gheyi R Enhancing conformance checking for contract-based programs Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity, (57-58)
  70. ACM
    Bettini L and Damiani F Generic traits for the Java platform Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, (5-16)
  71. ACM
    Ramsey N On teaching *how to design programs* Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (153-166)
  72. ACM
    Gramoli V and Santosa A Why inheritance anomaly is not worth solving Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE, (1-12)
  73. ACM
    Piccioni M, Estler C and Meyer B SPOC-supported introduction to programming Proceedings of the 2014 conference on Innovation & technology in computer science education, (3-8)
  74. Boer F and Gouw S Combining Monitoring with Run-Time Assertion Checking Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (217-262)
  75. Amighi A, Blom S, Darabi S, Huisman M, Mostowski W and Zaharieva-Stojanovski M Verification of Concurrent Systems with VerCors Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (172-216)
  76. Morandi B, Nanz S and Meyer B Safe and Efficient Data Sharing for Message-Passing Concurrency Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages - Volume 8459, (99-114)
  77. ACM
    Cacho N, César T, Filipe T, Soares E, Cassio A, Souza R, Garcia I, Barbosa E and Garcia A Trading robustness for maintainability: an empirical study of evolving c# programs Proceedings of the 36th International Conference on Software Engineering, (584-595)
  78. ACM
    He F, Wang B, Yin L and Zhu L Symbolic assume-guarantee reasoning through BDD learning Proceedings of the 36th International Conference on Software Engineering, (1071-1082)
  79. Polikarpova N, Tschannen J, Furia C and Meyer B Flexible Invariants through Semantic Collaboration Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (514-530)
  80. Estler H, Furia C, Nordio M, Piccioni M and Meyer B Contracts in Practice Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (230-246)
  81. ACM
    Silva L, Valente M and Maia M Assessing modularity using co-change clusters Proceedings of the 13th international conference on Modularity, (49-60)
  82. ACM
    Rebêlo H, Leavens G, Bagherzadeh M, Rajan H, Lima R, Zimmerman D, Cornélio M and Thüm T AspectJML Proceedings of the 13th international conference on Modularity, (157-168)
  83. Kart M (2014). What Sunday brunch can teach us about system design, Journal of Computing Sciences in Colleges, 29:4, (68-73), Online publication date: 1-Apr-2014.
  84. ACM
    Kume I, Nitta N, Nakamura M and Shibayama E A dynamic analysis technique to extract symptoms that suggest side effects in framework applications Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1176-1178)
  85. ACM
    Furia C, Meyer B and Velder S (2014). Loop invariants, ACM Computing Surveys, 46:3, (1-51), Online publication date: 1-Jan-2014.
  86. ACM
    Gaspard-Boulinc H, Conversy S, Prun D, Letondal C and Chatty S Former les futurs concepteurs de systèmes homme-machine complexes Proceedings of the 25th Conference on l'Interaction Homme-Machine, (43-52)
  87. ACM
    Perez De Rosso S and Jackson D What's wrong with git? Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, (37-52)
  88. Misra J Orchestration Formal Aspects of Component Software, (5-12)
  89. ACM
    Rebêlo H, Leavens G and Lima R Client-aware checking and information hiding in interface specifications with JML/ajmlc Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity, (11-12)
  90. ACM
    Bettini L and Damiani F Pure trait-based programming on the Java platform Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, (67-78)
  91. Mernik M (2013). An object-oriented approach to language compositions for software language engineering, Journal of Systems and Software, 86:9, (2451-2464), Online publication date: 1-Sep-2013.
  92. Poskitt C and Poulding S Using Contracts to Guide the Search-Based Verification of Concurrent Programs Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084, (263-268)
  93. Boussaa M, Kessentini W, Kessentini M, Bechikh S and Ben Chikha S Competitive Coevolutionary Code-Smells Detection Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084, (50-65)
  94. Kolesnichenko A, Poskitt C and Meyer B Applying Search in an Automatic Contract-Based Testing Tool Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084, (318-323)
  95. Kolesnichenko A, Nanz S and Meyer B How to Cancel a Task Proceedings of the International Conference on Multicore Software Engineering, Performance, and Tools - Volume 8063, (61-72)
  96. Schill M, Nanz S and Meyer B Handling Parallelism in a Concurrency Model Proceedings of the International Conference on Multicore Software Engineering, Performance, and Tools - Volume 8063, (37-48)
  97. ACM
    Li K, Reichenbach C, Smaragdakis Y and Young M Second-order constraints in dynamic invariant inference Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (103-113)
  98. ACM
    Hoffman K and Eugster P (2013). Trading obliviousness for modularity with cooperative aspect-oriented programming, ACM Transactions on Software Engineering and Methodology, 22:3, (1-46), Online publication date: 1-Jul-2013.
  99. Trudel M, Furia C, Nordio M and Meyer B Really automatic scalable object-oriented reengineering Proceedings of the 27th European conference on Object-Oriented Programming, (477-501)
  100. Morandi B, West S, Nanz S and Gomaa H Concurrent object-oriented development with behavioral design patterns Proceedings of the 7th European conference on Software Architecture, (25-32)
  101. ACM
    Burton E and Sekerinski E Correctness of intrusive data structures using mixins Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, (53-58)
  102. Polikarpova N, Furia C, Pei Y, Wei Y and Meyer B What good are strong specifications? Proceedings of the 2013 International Conference on Software Engineering, (262-271)
  103. Bettini L, Damiani F, Schaefer I and Strocco F (2013). TraitRecordJ, Science of Computer Programming, 78:5, (521-541), Online publication date: 1-May-2013.
  104. ACM
    Tiwari R and Goel N (2013). Reuse, ACM SIGSOFT Software Engineering Notes, 38:2, (1-11), Online publication date: 23-Mar-2013.
  105. Lasseter J and Cipriano J Design pattern-based extension of class hierarchies to support runtime invariant checks Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, (163-178)
  106. Heintz J, Kuijpers B and Rojas Paredes A (2013). Software Engineering and complexity in effective Algebraic Geometry, Journal of Complexity, 29:1, (92-138), Online publication date: 1-Feb-2013.
  107. Banerjee A and Naumann D State based encapsulation for modular reasoning about behavior-preserving refactorings Aliasing in Object-Oriented Programming, (319-365)
  108. Dietl W and Müller P Object ownership in program verification Aliasing in Object-Oriented Programming, (289-318)
  109. Mycroft A and Voigt J Notions of aliasing and ownership Aliasing in Object-Oriented Programming, (59-83)
  110. West S, Nanz S and Meyer B Demonic testing of concurrent programs Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering, (478-493)
  111. Gedik B and Andrade H (2012). A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams, Software—Practice & Experience, 42:11, (1363-1391), Online publication date: 1-Nov-2012.
  112. Cuoq P, Kirchner F, Kosmatov N, Prevosto V, Signoles J and Yakobowski B Frama-C Proceedings of the 10th international conference on Software Engineering and Formal Methods, (233-247)
  113. ACM
    Francisco M and Castro L Automatic generation of test models and properties from UML models with OCL constraints Proceedings of the 12th Workshop on OCL and Textual Modelling, (49-54)
  114. Davies J, Gibbons J, Milward D and Welch J Compositionality and refinement in model-driven engineering Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications, (99-114)
  115. Sekerinski E and Zhang T Verification rules for exception handling in eiffel Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications, (179-193)
  116. ACM
    Bonfim T, Filho J, Ramos R and Boratto M The barracuda design pattern (in Portuguese) Proceedings of the 9th Latin-American Conference on Pattern Languages of Programming, (1-13)
  117. Kozen D (2012). New, Electronic Notes in Theoretical Computer Science (ENTCS), 286, (17-42), Online publication date: 1-Sep-2012.
  118. ACM
    Poppe K, Cools R and Vandewoestyne B (2012). Error handling in Fortran 2003, ACM SIGPLAN Fortran Forum, 31:2, (7-19), Online publication date: 24-Jul-2012.
  119. ACM
    Kabbedijk J, Jansen S and Brinkkemper S A case study of the variability consequences of the CQRS pattern in online business software Proceedings of the 17th European Conference on Pattern Languages of Programs, (1-10)
  120. Poelmans J, Dedene G, Snoeck M and Viaene S (2012). An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory, Expert Systems with Applications: An International Journal, 39:9, (8115-8135), Online publication date: 1-Jul-2012.
  121. ACM
    Xu D, Thomas L, Kent M, Mouelhi T and Le Traon Y A model-based approach to automated testing of access control policies Proceedings of the 17th ACM symposium on Access Control Models and Technologies, (209-218)
  122. ACM
    Welsch Y and Poetzsch-Heffter A Verifying backwards compatibility of object-oriented libraries using Boogie Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, (35-41)
  123. Morandi B, Nanz S and Meyer B Can asynchronous exceptions expire? Proceedings of the 5th International Workshop on Exception Handling, (4-6)
  124. Ferreira K, Moreira R, Bigonha M and Bigonha R The evolving structures of software systems Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, (28-34)
  125. Cataño N, Leino K and Rivera V The EventB2Dafny rodin plug-in Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, (49-54)
  126. ACM
    Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012). Behavioral interface specification languages, ACM Computing Surveys, 44:3, (1-58), Online publication date: 1-Jun-2012.
  127. Meyer B, Kogtenkov A and Akhi A Processors and their collection Proceedings of the 2012 international conference on Multicore Software Engineering, Performance, and Tools, (1-15)
  128. Clarke P, Power J, Babich D and King T (2012). A testing strategy for abstract classes, Software Testing, Verification & Reliability, 22:3, (147-169), Online publication date: 1-May-2012.
  129. ACM
    Niño J Type systems directed programming language evolution Proceedings of the 50th Annual Southeast Regional Conference, (203-208)
  130. ACM
    Mertgen A Decoupling context Proceedings of the 2012 workshop on Modularity in Systems Software, (45-50)
  131. ACM
    Macia I, Garcia J, Popescu D, Garcia A, Medvidovic N and von Staa A Are automatically-detected code anomalies relevant to architectural modularity? Proceedings of the 11th annual international conference on Aspect-oriented Software Development, (167-178)
  132. ACM
    Schocken S Taming complexity in large-scale system projects Proceedings of the 43rd ACM technical symposium on Computer Science Education, (409-414)
  133. ACM
    Heidegger P, Bieniusa A and Thiemann P Access permission contracts for scripting languages Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (111-122)
  134. ACM
    Degen M, Thiemann P and Wehr S The interaction of contracts and laziness Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, (97-106)
  135. Antoy S and Hanus M Contracts and specifications for functional logic programming Proceedings of the 14th international conference on Practical Aspects of Declarative Languages, (33-47)
  136. Albert E, Arenas P and Gómez-Zamalloa M Symbolic execution of concurrent objects in CLP Proceedings of the 14th international conference on Practical Aspects of Declarative Languages, (123-137)
  137. ACM
    Heidegger P, Bieniusa A and Thiemann P (2012). Access permission contracts for scripting languages, ACM SIGPLAN Notices, 47:1, (111-122), Online publication date: 18-Jan-2012.
  138. Albert E, Arenas P, Genaim S, Gómez-Zamalloa M and Puebla G Cost analysis of concurrent OO programs Proceedings of the 9th Asian conference on Programming Languages and Systems, (238-254)
  139. ACM
    Dietl W, Drossopoulou S and Müller P (2012). Separating ownership topology and encapsulation with generic universe types, ACM Transactions on Programming Languages and Systems, 33:6, (1-62), Online publication date: 1-Dec-2011.
  140. de Vries E and Koutavas V Reverse hoare logic Proceedings of the 9th international conference on Software engineering and formal methods, (155-171)
  141. Pei Y, Wei Y, Furia C, Nordio M and Meyer B Code-based automated program fixing Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (392-395)
  142. Boström P Contract-based verification of simulink models Proceedings of the 13th international conference on Formal methods and software engineering, (291-306)
  143. Chiorean D, Petraşcu V and Ober I Using constraints in teaching software modeling Proceedings of the 2011th international conference on Models in Software Engineering, (25-39)
  144. ACM
    Creager D and McHugh J Verified workflow-based software development for infrastructure sensing and control applications Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research, (1-1)
  145. ACM
    Nam M, de Niz D, Wrage L and Sha L Resource allocation contracts for open analytic runtime models Proceedings of the ninth ACM international conference on Embedded software, (13-22)
  146. ACM
    Ressia J, Gîrba T, Nierstrasz O, Perin F and Renggli L Talents Proceedings of the International Workshop on Smalltalk Technologies, (1-9)
  147. Balzer S and Gross T Verifying multi-object invariants with relationships Proceedings of the 25th European conference on Object-oriented programming, (358-382)
  148. Steimann F, Kollee C and von Pilgrim J A refactoring constraint language and its application to eiffel Proceedings of the 25th European conference on Object-oriented programming, (255-280)
  149. Baharom S and Shukur Z (2011). An experimental assessment of module documentation-based testing, Information and Software Technology, 53:7, (747-760), Online publication date: 1-Jul-2011.
  150. Braga C (2011). A transformation contract to generate aspects from access control policies, Software and Systems Modeling (SoSyM), 10:3, (395-409), Online publication date: 1-Jul-2011.
  151. ACM
    Peake I and Schmidt H Systematic simplicity-accuracy tradeoffs in parameterised contract models Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, (95-104)
  152. ACM
    Andreescu A and Mircea M Developing service oriented architectures for increasing software application's reliability Proceedings of the 12th International Conference on Computer Systems and Technologies, (185-190)
  153. ACM
    Hakonen H, Hyrynsalmi S and Järvi A Reducing the number of unit tests with design by contract Proceedings of the 12th International Conference on Computer Systems and Technologies, (161-166)
  154. Svendsen K, Birkedal L and Nanevski A Partiality, state and dependent types Proceedings of the 10th international conference on Typed lambda calculi and applications, (198-212)
  155. ACM
    Hu C (2011). When to inherit a type, ACM Inroads, 2:2, (52-58), Online publication date: 1-Jun-2011.
  156. ACM
    Barnett M, Fähndrich M, Leino K, Müller P, Schulte W and Venter H (2011). Specification and verification, Communications of the ACM, 54:6, (81-91), Online publication date: 1-Jun-2011.
  157. ACM
    Wei Y, Furia C, Kazmin N and Meyer B Inferring better contracts Proceedings of the 33rd International Conference on Software Engineering, (191-200)
  158. ACM
    Ducournau R (2011). Implementing statically typed object-oriented programming languages, ACM Computing Surveys, 43:3, (1-48), Online publication date: 1-Apr-2011.
  159. Thummalapenta S, Marri M, Xie T, Tillmann N and de Halleux J Retrofitting unit tests for parameterized unit testing Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (294-309)
  160. ACM
    Sohr K, Mustafa T and Nowak A Software security aspects of Java-based mobile phones Proceedings of the 2011 ACM Symposium on Applied Computing, (1494-1501)
  161. ACM
    Chu P, Hsueh N, Lee C, Chuang M, Hsiung P and Chu W A pattern-based verification approach for a multi-core system development Proceedings of the 2011 ACM Symposium on Applied Computing, (49-53)
  162. ACM
    Cech Previtali S and Gross T Aspect-based dynamic software updating Proceedings of the tenth international conference on Aspect-oriented software development, (105-116)
  163. Feuerlicht G Simple metric for assessing quality of service design Proceedings of the 2010 international conference on Service-oriented computing, (133-143)
  164. West S, Nanz S and Meyer B A modular scheme for deadlock prevention in an object-oriented programming model Proceedings of the 12th international conference on Formal engineering methods and software engineering, (597-612)
  165. Chen Y Programmable verifiers in imperative programming Proceedings of the Third international conference on Unifying theories of programming, (172-187)
  166. Crispim P, Lopes A and Vasconcelos V Runtime verification for generic classes with CONGU2 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications, (33-48)
  167. Artho C Run-time verification of networked software Proceedings of the First international conference on Runtime verification, (59-73)
  168. English M, Buckley J and Cahill T (2010). A replicated and refined empirical study of the use of friends in C++ software, Journal of Systems and Software, 83:11, (2275-2286), Online publication date: 1-Nov-2010.
  169. Li X, Liu Z, Schäf M and Yin L AutoPA Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (609-624)
  170. ACM
    Reichenbach C, Immerman N, Smaragdakis Y, Aftandilian E and Guyer S (2010). What can the GC compute efficiently?, ACM SIGPLAN Notices, 45:10, (256-269), Online publication date: 17-Oct-2010.
  171. ACM
    Reichenbach C, Immerman N, Smaragdakis Y, Aftandilian E and Guyer S What can the GC compute efficiently? Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (256-269)
  172. Gomes A and Furtado E FAVIHC - framework de avaliação da interação Humano Computador, estudo de caso na televisão digital Proceedings of the IX Symposium on Human Factors in Computing Systems, (81-90)
  173. ACM
    Do Vale Pereira D and Kulesza U Refactoring a web academic information system using design patterns Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, (1-14)
  174. Furia C What's decidable about sequences? Proceedings of the 8th international conference on Automated technology for verification and analysis, (128-142)
  175. ACM
    Bettini L, Damiani F, Schaefer I and Strocco F A prototypical Java-like language with records and traits Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, (129-138)
  176. ACM
    Wei Y, Pei Y, Furia C, Silva L, Buchholz S, Meyer B and Zeller A Automated fixing of programs with contracts Proceedings of the 19th international symposium on Software testing and analysis, (61-72)
  177. Zimmerman D and Nagmoti R JMLUnit Proceedings of the 2010 international conference on Formal verification of object-oriented software, (183-197)
  178. Heidegger P and Thiemann P Contract-driven testing of javascript code Proceedings of the 48th international conference on Objects, models, components, patterns, (154-172)
  179. ACM
    McNeile A A framework for the semantics of behavioral contracts Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, (1-5)
  180. Ferrara P Static type analysis of pattern matching by abstract interpretation Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems, (186-200)
  181. ACM
    Steimann F, Pawlitzki T, Apel S and Kästner C (2010). Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology, 20:1, (1-43), Online publication date: 1-Jun-2010.
  182. ACM
    Süßkraut M, Knauth T, Weigert S, Schiffel U, Meinhold M and Fetzer C Prospect Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization, (131-140)
  183. ACM
    Niño J Library unit development fundamentals Proceedings of the 48th Annual Southeast Regional Conference, (1-6)
  184. Grönniger H and Rumpe B Modeling language variability Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems, (17-32)
  185. ACM
    Kerfoot E and McKeever S Checking concurrent contracts with aspects Proceedings of the 2010 ACM Symposium on Applied Computing, (2523-2530)
  186. ACM
    Hirschfeld R, Perscheid M, Schubert C and Appeltauer M Dynamic contract layers Proceedings of the 2010 ACM Symposium on Applied Computing, (2169-2175)
  187. ACM
    Silva L and van Someren M Evolutionary testing of object-oriented software Proceedings of the 2010 ACM Symposium on Applied Computing, (1126-1130)
  188. ACM
    Singh Y and Saha A (2010). Improving the testability of object oriented software through software contracts, ACM SIGSOFT Software Engineering Notes, 35:1, (1-4), Online publication date: 25-Jan-2010.
  189. ACM
    Balzer S and Gross T Modular reasoning about invariants over shared state with interposed data members Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification, (49-56)
  190. Hanus M Lazy and enforceable assertions for functional logic programs Proceedings of the 19th international conference on Functional and constraint logic programming, (84-100)
  191. Morandi B, Bauer S and Meyer B SCOOP – a contract-based concurrent object-oriented programming model Advanced Lectures on Software Engineering, (41-90)
  192. Furia C and Meyer B Inferring loop invariants using postconditions Fields of logic and computation, (277-300)
  193. Sooriamurthi R (2010). The essence of object orientation for CS0, Journal of Computing Sciences in Colleges, 25:3, (67-74), Online publication date: 1-Jan-2010.
  194. Noonan R (2010). Method assumptions in object-oriented programming, Journal of Computing Sciences in Colleges, 25:3, (54-59), Online publication date: 1-Jan-2010.
  195. Marín B, Giachetti G, Pastor O and Abran A (2010). A quality model for conceptual models of MDD environments, Advances in Software Engineering, 2010, (1-17), Online publication date: 1-Jan-2010.
  196. Garrido J (2009). Object oriented program correctness with OOSimL, Journal of Computing Sciences in Colleges, 25:2, (85-91), Online publication date: 1-Dec-2009.
  197. ACM
    Wingrave C, Laviola J and Bowman D (2009). A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design, ACM Transactions on Computer-Human Interaction, 16:4, (1-36), Online publication date: 1-Nov-2009.
  198. ACM
    Ducournau R, Morandat F and Privat J Empirical assessment of object-oriented implementations with multiple inheritance and static typing Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (41-60)
  199. ACM
    Malayeri D and Aldrich J CZ Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (21-40)
  200. ACM
    Ducournau R, Morandat F and Privat J (2009). Empirical assessment of object-oriented implementations with multiple inheritance and static typing, ACM SIGPLAN Notices, 44:10, (41-60), Online publication date: 25-Oct-2009.
  201. ACM
    Malayeri D and Aldrich J (2009). CZ, ACM SIGPLAN Notices, 44:10, (21-40), Online publication date: 25-Oct-2009.
  202. ACM
    Hurter C, Conversy S, Vinot J and Jestin Y Représentations écologiques de données temporelles Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine, (33-42)
  203. Bauer S and Hennicker R Views on behaviour protocols and their semantic foundation Proceedings of the 3rd international conference on Algebra and coalgebra in computer science, (367-382)
  204. ACM
    Cohen T and Gil J Three approaches to object evolution Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, (57-66)
  205. Brooke P and Paige R (2009). Cameo: an alternative model of concurrency for Eiffel, Formal Aspects of Computing, 21:4, (363-391), Online publication date: 1-Aug-2009.
  206. Ostroff J, Torshizi F, Huang H and Schoeller B (2009). Beyond contracts for concurrency, Formal Aspects of Computing, 21:4, (319-346), Online publication date: 1-Aug-2009.
  207. Nienaltowski P (2009). Flexible access control policy for SCOOP, Formal Aspects of Computing, 21:4, (347-362), Online publication date: 1-Aug-2009.
  208. Nienaltowski P, Meyer B and Ostroff J (2009). Contracts for concurrency, Formal Aspects of Computing, 21:4, (305-318), Online publication date: 1-Aug-2009.
  209. ACM
    Polikarpova N, Ciupa I and Meyer B A comparative study of programmer-written and automatically inferred contracts Proceedings of the eighteenth international symposium on Software testing and analysis, (93-104)
  210. ACM
    Previtali S, Schäuble M and Gross T Revision classes for explicit versioning Proceedings of the Workshop on AOP and Meta-Data for Software Evolution, (1-6)
  211. ACM
    Kerfoot E, McKeever S and Torshizi F Deadlock freedom through object ownership International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, (1-8)
  212. Du D, Liu J, Cao H and Zhang M (2009). BAS, Electronic Notes in Theoretical Computer Science (ENTCS), 243, (69-87), Online publication date: 1-Jul-2009.
  213. Puntigam F (2009). Synchronization as a Special Case of Access Control, Electronic Notes in Theoretical Computer Science (ENTCS), 241, (113-133), Online publication date: 1-Jul-2009.
  214. Logozzo F (2009). Class invariants as abstract interpretation of trace semantics, Computer Languages, Systems and Structures, 35:2, (100-142), Online publication date: 1-Jul-2009.
  215. ACM
    Blanco J, Losano L, Aguirre N, Novaira M, Permigiani S and Scilingo G (2009). An introductory course on programming based on formal specification and program calculation, ACM SIGCSE Bulletin, 41:2, (31-37), Online publication date: 25-Jun-2009.
  216. Massart D Towards a pan-European learning resource exchange infrastructure Proceedings of the 7th international conference on Next generation information technologies and systems, (121-132)
  217. ACM
    Puntigam F Interfaces of active objects with internal concurrency Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century, (1-5)
  218. ACM
    Dingel J, Rudie K and Dragert C Bridging the gap Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering, (67-71)
  219. van den Heuvel W, Zimmermann O, Leymann F, Lago P, Schieferdecker I, Zdun U and Avgeriou P Software service engineering Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, (26-33)
  220. Erbas C and Erbas B Software development under bounded rationality and opportunism Proceedings of the 2009 ICSE Workshop on Software Development Governance, (15-20)
  221. Dekel U and Herbsleb J Improving API documentation usability with knowledge pushing Proceedings of the 31st International Conference on Software Engineering, (320-330)
  222. Reiss S Semantics-based code search Proceedings of the 31st International Conference on Software Engineering, (243-253)
  223. ACM
    Hamlet D (2009). Tools and experiments supporting a testing-based theory of component composition, ACM Transactions on Software Engineering and Methodology, 18:3, (1-41), Online publication date: 1-May-2009.
  224. Niño J (2009). Introducing API design principles in CS2, Journal of Computing Sciences in Colleges, 24:4, (109-116), Online publication date: 1-Apr-2009.
  225. ACM
    Briggs D and Alagić S Algebraic specification techniques for parametric types with logic-based constraints Proceedings of the 2009 ACM symposium on Applied Computing, (1890-1897)
  226. ACM
    Buck D and Stucki D (2009). The hidden injuries of overloading 'ADT', ACM SIGCSE Bulletin, 41:1, (256-259), Online publication date: 4-Mar-2009.
  227. ACM
    Buck D and Stucki D The hidden injuries of overloading 'ADT' Proceedings of the 40th ACM technical symposium on Computer science education, (256-259)
  228. Dovland J, Johnsen E, Owe O and Steffen M Incremental Reasoning for Multiple Inheritance Proceedings of the 7th International Conference on Integrated Formal Methods, (215-230)
  229. Kolovos D, Paige R and Polack F On the evolution of OCL for capturing structural constraints in modelling languages Rigorous Methods for Software Construction and Analysis, (204-218)
  230. Setavoraphan K and Grant F Conceptual simulation modeling Proceedings of the 40th Conference on Winter Simulation, (975-986)
  231. ACM
    Safari-Sharifabadi E and Constantinides C (2008). Dynamic analysis of Ada programs for comprehension and quality measurement, ACM SIGAda Ada Letters, 28:3, (15-38), Online publication date: 1-Dec-2008.
  232. Fuentes L, Pinto M and Sánchez P (2008). Generating CAM aspect-oriented architectures using Model-Driven Development, Information and Software Technology, 50:12, (1248-1265), Online publication date: 1-Nov-2008.
  233. ACM
    Oliveira B, Wang M and Gibbons J (2008). The visitor pattern as a reusable, generic, type-safe component, ACM SIGPLAN Notices, 43:10, (439-456), Online publication date: 27-Oct-2008.
  234. ACM
    Ferrara P, Logozzo F and Fähndrich M (2008). Safer unsafe code for .NET, ACM SIGPLAN Notices, 43:10, (329-346), Online publication date: 27-Oct-2008.
  235. ACM
    Safari-Sharifabadi E and Constantinides C Dynamic analysis of Ada programs for comprehension and quality measurement Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (15-38)
  236. Huang Y, Dillon L and Stirewalt R On Mechanisms for Deadlock Avoidance in SIP Servlet Containers Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks, (196-216)
  237. ACM
    Lowry S, Warner P and Deaubl E NOAO imaging meta data quality improvement Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (675-684)
  238. ACM
    Oliveira B, Wang M and Gibbons J The visitor pattern as a reusable, generic, type-safe component Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (439-456)
  239. ACM
    Ferrara P, Logozzo F and Fähndrich M Safer unsafe code for .NET Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (329-346)
  240. ACM
    Bachmann P Deferred cancellation Proceedings of the 15th Conference on Pattern Languages of Programs, (1-17)
  241. ACM
    Ducournau R (2008). Perfect hashing as an almost perfect subtype test, ACM Transactions on Programming Languages and Systems, 30:6, (1-56), Online publication date: 1-Oct-2008.
  242. Astesiano E and Reggio G Revising the UML collaborations Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development, (1-23)
  243. Middelkoop R, Huizing C, Kuiper R and Luit E (2008). Specification and Verification of Invariants by Exploiting Layers in OO Designs, Fundamenta Informaticae, 85:1-4, (377-398), Online publication date: 20-Sep-2008.
  244. Gonzalez-Perez C and Henderson-Sellers B (2008). A work product pool approach to methodology specification and enactment, Journal of Systems and Software, 81:8, (1288-1305), Online publication date: 1-Aug-2008.
  245. ACM
    Nami M (2008). A comparison of object-oriented languages in software engineering, ACM SIGSOFT Software Engineering Notes, 33:4, (1-5), Online publication date: 1-Jul-2008.
  246. Castro M, Niño A and Muñoz-Caro C Accurate Numerical Computation of Rovibrational G Matrices in Molecules of Arbitrary Size Proceeding sof the international conference on Computational Science and Its Applications, Part I, (1011-1025)
  247. Blom M, Nordby E and Brunstrom A An Experimental Evaluation of Documentation Methods and Reusability Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems, (372-375)
  248. ACM
    Ciupa I, Leitner A, Oriol M and Meyer B ARTOO Proceedings of the 30th international conference on Software engineering, (71-80)
  249. ACM
    Kaminski D, Hall J and Wermelinger M Relating problem oriented engineering to current development processes Proceedings of the 3rd international workshop on Applications and advances of problem frames, (78-81)
  250. ACM
    Bastani B (2008). Process-oriented abstraction of the complex evolvable systems, ACM SIGSOFT Software Engineering Notes, 33:3, (1-13), Online publication date: 1-May-2008.
  251. Cunningham H and Liu Y (2008). Hot spots, patterns, and contracts, Journal of Computing Sciences in Colleges, 23:4, (105-107), Online publication date: 1-Apr-2008.
  252. Niño J (2008). Software engineering team studios, Journal of Computing Sciences in Colleges, 23:4, (59-65), Online publication date: 1-Apr-2008.
  253. ACM
    Csallner C, Smaragdakis Y and Xie T (2008). DSD-Crasher, ACM Transactions on Software Engineering and Methodology, 17:2, (1-37), Online publication date: 1-Apr-2008.
  254. Li X and Liu Z (2008). Prototyping System Requirements Model, Electronic Notes in Theoretical Computer Science (ENTCS), 207, (17-32), Online publication date: 1-Apr-2008.
  255. ACM
    Agostinho S, Moreira A and Guerreiro P Contracts for aspect-oriented design Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, (1-6)
  256. ACM
    Cech Previtali S and Gross T Extracting updating aspects from version differences Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, (1-5)
  257. ACM
    Ostermann K Reasoning about aspects with common sense Proceedings of the 7th international conference on Aspect-oriented software development, (48-59)
  258. ACM
    Ramsin R and Paige R (2008). Process-centered review of object oriented software development methodologies, ACM Computing Surveys, 40:1, (1-89), Online publication date: 1-Feb-2008.
  259. ACM
    Chin W, David C, Nguyen H and Qin S (2008). Enhancing modular OO verification with separation logic, ACM SIGPLAN Notices, 43:1, (87-99), Online publication date: 14-Jan-2008.
  260. ACM
    Chin W, David C, Nguyen H and Qin S Enhancing modular OO verification with separation logic Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (87-99)
  261. Middelkoop R, Huizing C, Kuiper R and Luit E (2008). Specification and Verification of Invariants by Exploiting Layers in OO Designs, Fundamenta Informaticae, 85:1-4, (377-398), Online publication date: 1-Jan-2008.
  262. Sant'Anna C, Lobato C, Kulesza U, Garcia A, Chavez C and Lucena C (2008). On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study, International Journal of Agent-Oriented Software Engineering, 2:1, (34-61), Online publication date: 1-Jan-2008.
  263. Middelkoop R, Huizing C, Kuiper R and Luit E (2008). Invariants for Non-Hierarchical Object Structures, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (211-229), Online publication date: 1-Jan-2008.
  264. Davies J, Faitelson D and Welch J (2008). Domain-specific Semantics and Data Refinement of Object Models, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (151-170), Online publication date: 1-Jan-2008.
  265. Doi T and Honiden S (2007). IOM/T: interaction-oriented model by textual notation, International Journal of Agent-Oriented Software Engineering, 1:3/4, (266-294), Online publication date: 1-Dec-2007.
  266. Cabot J From declarative to imperative UML/OCL operation specifications Proceedings of the 26th international conference on Conceptual modeling, (198-213)
  267. ACM
    Cai Y, Huynh S and Xie T A framework and tool supports for testing modularity of software design Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (441-444)
  268. Delaet T and Joosen W PoDIM Proceedings of the 21st conference on Large Installation System Administration Conference, (1-13)
  269. Brooke P, Paige R and Jacob J (2007). A CSP model of Eiffel’s SCOOP, Formal Aspects of Computing, 19:4, (487-512), Online publication date: 1-Nov-2007.
  270. ACM
    Chen F and Roşu G (2007). Mop, ACM SIGPLAN Notices, 42:10, (569-588), Online publication date: 21-Oct-2007.
  271. ACM
    Kühne T and Schreiber D (2007). Can programming be liberated from the two-level style, ACM SIGPLAN Notices, 42:10, (229-244), Online publication date: 21-Oct-2007.
  272. ACM
    Ducasse S, Wuyts R, Bergel A and Nierstrasz O (2007). User-changeable visibility, ACM SIGPLAN Notices, 42:10, (171-190), Online publication date: 21-Oct-2007.
  273. ACM
    Chen F and Roşu G Mop Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (569-588)
  274. ACM
    Kühne T and Schreiber D Can programming be liberated from the two-level style Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (229-244)
  275. ACM
    Ducasse S, Wuyts R, Bergel A and Nierstrasz O User-changeable visibility Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (171-190)
  276. Concas G, Marchesi M, Pinna S and Serra N (2007). Power-Laws in a Large Object-Oriented Software System, IEEE Transactions on Software Engineering, 33:10, (687-708), Online publication date: 1-Oct-2007.
  277. Boström P, Morel L and Waldén M Stepwise development of simulink models using the refinement calculus framework Proceedings of the 4th international conference on Theoretical aspects of computing, (79-93)
  278. Sobral J Pluggable grid services Proceedings of the 8th IEEE/ACM International Conference on Grid Computing, (113-120)
  279. ACM
    Caspersen M and Bennedsen J Instructional design of a programming course Proceedings of the third international workshop on Computing education research, (111-122)
  280. John S and Morrison J Garbage collection in object oriented condensed graphs Proceedings of the 7th international conference on Parallel processing and applied mathematics, (860-869)
  281. ACM
    Klar F, Königs A and Schürr A Model transformation in the large Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (285-294)
  282. ACM
    Mäkelä S and Leppänen V A software metric for coherence of class roles in Java programs Proceedings of the 5th international symposium on Principles and practice of programming in Java, (51-60)
  283. van Dooren M and Steegmans E A higher abstraction level using first-class inheritance relations Proceedings of the 21st European conference on Object-Oriented Programming, (425-449)
  284. Balzer S, Gross T and Eugster P A relational model of object collaborations and its use in reasoning about relationships Proceedings of the 21st European conference on Object-Oriented Programming, (323-346)
  285. Lu Y, Potter J and Xue J Validity invariants and effects Proceedings of the 21st European conference on Object-Oriented Programming, (202-226)
  286. Dahlgren T Performance-driven interface contract enforcement for scientific components Proceedings of the 10th international conference on Component-based software engineering, (157-172)
  287. ACM
    Ciupa I, Leitner A, Oriol M and Meyer B Experimental assessment of random testing for object-oriented software Proceedings of the 2007 international symposium on Software testing and analysis, (84-94)
  288. ACM
    Riehle R (2007). Designing software components to tolerances, ACM SIGSOFT Software Engineering Notes, 32:4, (7-es), Online publication date: 1-Jul-2007.
  289. ACM
    Paige R, Brooke P and Ostroff J (2007). Metamodel-based model conformance and multiview consistency checking, ACM Transactions on Software Engineering and Methodology, 16:3, (11-es), Online publication date: 1-Jul-2007.
  290. Spinellis D and Louridas P (2007). A framework for the static verification of api calls, Journal of Systems and Software, 80:7, (1156-1168), Online publication date: 1-Jul-2007.
  291. ACM
    Mäkelä S and Leppänen V External views on class cohesion Proceedings of the 2007 international conference on Computer systems and technologies, (1-6)
  292. Sanen F, Truyen E and Joosen W Managing concern interactions in middleware Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, (267-283)
  293. Van Der Straeten R, Jonckers V and Mens T (2007). A formal approach to model refactoring and model refinement, Software and Systems Modeling (SoSyM), 6:2, (139-162), Online publication date: 1-Jun-2007.
  294. Leavens G, Leino K and Müller P (2007). Specification and verification challenges for sequential object-oriented programs, Formal Aspects of Computing, 19:2, (159-189), Online publication date: 1-Jun-2007.
  295. Naumann D (2007). On assertion-based encapsulation for object invariants and simulations, Formal Aspects of Computing, 19:2, (205-224), Online publication date: 1-Jun-2007.
  296. Chalin P (2007). Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?, Formal Aspects of Computing, 19:2, (139-158), Online publication date: 1-Jun-2007.
  297. Chalin P A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler Proceedings of the 29th international conference on Software Engineering, (23-33)
  298. Leavens G and Muller P Information Hiding and Visibility in Interface Specifications Proceedings of the 29th international conference on Software Engineering, (385-395)
  299. Melton H and Tempero E Towards Assessing Modularity Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
  300. Da Silva V Implementing norms that govern non-dialogical actions Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III, (232-244)
  301. Pedro L, Lucio L and Buchs D (2007). System Prototype and Verification Using Metamodel-Based Transformations, IEEE Distributed Systems Online, 8:4, (1), Online publication date: 1-Apr-2007.
  302. Eaddy M, Aho A, Hu W, McDonald P and Burger J Debugging aspect-enabled programs Proceedings of the 6th international conference on Software composition, (200-215)
  303. Burdy L, Huisman M and Pavlova M Preliminary design of BML Proceedings of the 10th international conference on Fundamental approaches to software engineering, (215-229)
  304. ACM
    Liu Y and Cunningham H Java in the box Proceedings of the 45th annual southeast regional conference, (47-52)
  305. ACM
    Previtali S Dynamic updates Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007, (49-54)
  306. ACM
    Heliotis J A different need for sequencing contracts using state-based aspects Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development, (6-es)
  307. ACM
    Ubayashi N and Nakajima S Context-aware feature-oriented modeling with an aspect extension of VDM Proceedings of the 2007 ACM symposium on Applied computing, (1269-1274)
  308. ACM
    Zhou Y, Pan J, Ma X, Luo B, Tao X and Lu J Applying ontology in architecture-based self-management applications Proceedings of the 2007 ACM symposium on Applied computing, (97-103)
  309. Davis J and Bonnell R (2007). Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis, IEEE Transactions on Knowledge and Data Engineering, 19:3, (427-440), Online publication date: 1-Mar-2007.
  310. Mano N and Kaneko T On the refinement of web application systems from upper-stream models to program models Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, (86-91)
  311. Liu L, Meyer B and Schoeller B Using contracts and Boolean queries to improve the quality of automatic test generation Proceedings of the 1st international conference on Tests and proofs, (114-130)
  312. Back R, Eriksson J and Myreen M Testing and verifying invariant based programs in the SOCOS environment Proceedings of the 1st international conference on Tests and proofs, (61-78)
  313. Smaragdakis Y and Csallner C Combining static and dynamic reasoning for bug detection Proceedings of the 1st international conference on Tests and proofs, (1-16)
  314. Choi K and Tempero E Dynamic measurement of polymorphism Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (211-220)
  315. Meyer B, Ciupa I, Leitner A and Liu L Automatic Testing of Object-Oriented Software Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, (114-129)
  316. Logozzo F Cibai Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (283-298)
  317. Knudsen J, Ravn A and Skou A Design verification patterns Formal methods and hybrid real-time systems, (399-413)
  318. Fiadeiro J (2007). Designing for Software's Social Complexity, Computer, 40:1, (34-39), Online publication date: 1-Jan-2007.
  319. ACM
    Kulczycki G and Vasudeo J Simplifying reasoning about objects with Tako Proceedings of the 2006 conference on Specification and verification of component-based systems, (57-64)
  320. ACM
    Groslambert J, Julliand J and Kouchnarenko O JML-based verification of liveness properties on a class in isolation Proceedings of the 2006 conference on Specification and verification of component-based systems, (41-48)
  321. ACM
    Chalin P Early detection of JML specification errors using ESC/Java2 Proceedings of the 2006 conference on Specification and verification of component-based systems, (25-32)
  322. ACM
    Krone J, Ogden W and Sitaraman M Performance analysis based upon complete profiles Proceedings of the 2006 conference on Specification and verification of component-based systems, (3-10)
  323. Naumann D and Barnett M (2006). Towards imperative modules, Theoretical Computer Science, 365:1, (143-168), Online publication date: 10-Nov-2006.
  324. Johnsen E, Owe O and Yu I (2006). Creol, Theoretical Computer Science, 365:1, (23-66), Online publication date: 10-Nov-2006.
  325. Barbosa L and Oliveira J (2006). Transposing partial components, Theoretical Computer Science, 365:1, (2-22), Online publication date: 10-Nov-2006.
  326. ACM
    Becker S, Hasselbring W, Paul A, Boskovic M, Koziolek H, Ploski J, Dhama A, Lipskoch H, Rohr M, Winteler D, Giesecke S, Meyer R, Swaminathan M, Happe J, Muhle M and Warns T (2006). Trustworthy software systems, ACM SIGSOFT Software Engineering Notes, 31:6, (1-18), Online publication date: 1-Nov-2006.
  327. Nunes I, Lopes A, Vasconcelos V, Abreu J and Reis L Checking the conformance of java classes against algebraic specifications Proceedings of the 8th international conference on Formal Methods and Software Engineering, (494-513)
  328. Leavens G JML’s rich, inherited specifications for behavioral subtypes Proceedings of the 8th international conference on Formal Methods and Software Engineering, (2-34)
  329. ACM
    Cohen T, Gil J and Maman I JTL Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (89-108)
  330. ACM
    Bagge A, David V, Haveraaen M and Kalleberg K Stayin' alert: Proceedings of the 5th international conference on Generative programming and component engineering, (265-274)
  331. ACM
    Leavens G, Abrial J, Batory D, Butler M, Coglio A, Fisler K, Hehner E, Jones C, Miller D, Peyton-Jones S, Sitaraman M, Smith D and Stump A Roadmap for enhanced languages and methods to aid verification Proceedings of the 5th international conference on Generative programming and component engineering, (221-236)
  332. Kienzle J and Sendall S Addressing concurrency in object-oriented software development Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (15-es)
  333. ACM
    Cohen T, Gil J and Maman I (2006). JTL, ACM SIGPLAN Notices, 41:10, (89-108), Online publication date: 16-Oct-2006.
  334. Müller P, Poetzsch-Heffter A and Leavens G (2006). Modular invariants for layered object structures, Science of Computer Programming, 62:3, (253-286), Online publication date: 15-Oct-2006.
  335. ACM
    Hu E, Jenn E, Valot N and Alonso A Safety critical applications and hard real-time profile for Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (125-134)
  336. ACM
    Schmitt P, Tonin I, Wonnemann C, Jenn E, Leriche S and Hunt J A case study of specification and verification using JML in an avionics application Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (107-116)
  337. de Roos A (2006). The Origin of the Eukaryotic Cell Based on Conservation of Existing Interfaces, Artificial Life, 12:4, (513-523), Online publication date: 1-Oct-2006.
  338. Baresi L, Di Nitto E and Ghezzi C (2006). Toward Open-World Software, Computer, 39:10, (36-43), Online publication date: 1-Oct-2006.
  339. Kosiuczenko P Specification of invariability in OCL Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems, (676-691)
  340. ACM
    Tomaszewski P and Damm L Comparing the fault-proneness of new and modified code Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering, (2-7)
  341. Puntigam F Internal and external token-based synchronization in object-oriented languages Proceedings of the 7th joint conference on Modular Programming Languages, (251-270)
  342. Prasse M Let's modularize the data model specifications of the ObjectLens in VisualWorks/Smalltalk Proceedings of the 14th international conference on Advances in smalltalk, (111-133)
  343. ACM
    Déharbe D and Medeiros S Aspect-oriented design in systemC Proceedings of the 19th annual symposium on Integrated circuits and systems design, (119-124)
  344. Wang M, Jin L and Liu L A description method of ontology change management using pi-calculus Proceedings of the First international conference on Knowledge Science, Engineering and Management, (477-489)
  345. Le Traon Y, Baudry B and Jezequel J (2006). Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, 32:8, (571-586), Online publication date: 1-Aug-2006.
  346. ACM
    Csallner C and Smaragdakis Y DSD-Crasher Proceedings of the 2006 international symposium on Software testing and analysis, (245-254)
  347. Meyer B and Arnout K (2006). Componentization, Computer, 39:7, (23-30), Online publication date: 1-Jul-2006.
  348. Hamlet D Defining “predictable assembly” Proceedings of the 9th international conference on Component-Based Software Engineering, (320-327)
  349. Barnett M, Naumann D, Schulte W and Sun Q Allowing state changes in specifications Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security, (321-336)
  350. Kiniry J Exceptions in java and eiffel Advanced Topics in Exception Handling Techniques, (288-300)
  351. Juillerat N and Hirsbrunner B FOOD Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (452-461)
  352. ACM
    Csallner C and Smaragdakis Y Dynamically discovering likely interface invariants Proceedings of the 28th international conference on Software engineering, (861-864)
  353. ACM
    Baudry B, Fleurey F and Le Traon Y Improving test suites for efficient fault localization Proceedings of the 28th international conference on Software engineering, (82-91)
  354. ACM
    Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
  355. Meron D and Mermet B A tool architecture to verify properties of multiagent system at runtime Proceedings of the 4th international conference on Programming multi-agent systems, (201-216)
  356. Sudeikat J, Braubach L, Pokahr A, Lamersdorf W and Renz W Validation of BDI agents Proceedings of the 4th international conference on Programming multi-agent systems, (185-200)
  357. Allan B, Armstrong R, Bernholdt D, Bertrand F, Chiu K, Dahlgren T, Damevski K, Elwasif W, Epperly T, Govindaraju M, Katz D, Kohl J, Krishnan M, Kumfert G, Larson J, Lefantzi S, Lewis M, Malony A, Mclnnes L, Nieplocha J, Norris B, Parker S, Ray J, Shende S, Windus T and Zhou S (2006). A Component Architecture for High-Performance Scientific Computing, International Journal of High Performance Computing Applications, 20:2, (163-202), Online publication date: 1-May-2006.
  358. ACM
    Borghi A, David V and Demaille A (2006). C-Transformers, XRDS: Crossroads, The ACM Magazine for Students, 12:3, (3-3), Online publication date: 1-May-2006.
  359. ACM
    Leavens G, Baker A and Ruby C (2006). Preliminary design of JML, ACM SIGSOFT Software Engineering Notes, 31:3, (1-38), Online publication date: 1-May-2006.
  360. Rioux F and Chalin P (2006). Improving the Quality of Web-based Enterprise Applications with Extended Static Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 157:2, (119-132), Online publication date: 1-May-2006.
  361. Lämmel R and Meijer E Revealing the X/O impedance mismatch Proceedings of the 2006 international conference on Datatype-generic programming, (285-367)
  362. ACM
    Burdy L and Pavlova M Java bytecode specification and verification Proceedings of the 2006 ACM symposium on Applied computing, (1835-1839)
  363. ACM
    Kurtev I, van den Berg K and Jouault F Evaluation of rule-based modularization in model transformation languages illustrated with ATL Proceedings of the 2006 ACM symposium on Applied computing, (1202-1209)
  364. ACM
    Jouault F and Kurtev I On the architectural alignment of ATL and QVT Proceedings of the 2006 ACM symposium on Applied computing, (1188-1195)
  365. Courbot A, Pavlova M, Grimaud G and Vandewalle J A low-footprint java-to-native compilation scheme using formal methods Proceedings of the 7th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications, (329-344)
  366. ACM
    Pedroni M and Meyer B (2006). The inverted curriculum in practice, ACM SIGCSE Bulletin, 38:1, (481-485), Online publication date: 31-Mar-2006.
  367. ACM
    Pedroni M and Meyer B The inverted curriculum in practice Proceedings of the 37th SIGCSE technical symposium on Computer science education, (481-485)
  368. Savidis A (2006). Application invariants: Design by Contract augmented with deployment correctness logic, Software—Practice & Experience, 36:3, (255-282), Online publication date: 1-Mar-2006.
  369. Gregor D and Schupp S (2006). STLlint: lifting static checking from languages to libraries, Software—Practice & Experience, 36:3, (225-254), Online publication date: 1-Mar-2006.
  370. ACM
    Ducasse S, Nierstrasz O, Schärli N, Wuyts R and Black A (2006). Traits, ACM Transactions on Programming Languages and Systems, 28:2, (331-388), Online publication date: 1-Mar-2006.
  371. ACM
    Thang N and Katayama T (2005). Specification and verification of inter-component constraints in CTL, ACM SIGSOFT Software Engineering Notes, 31:2, (8-es), Online publication date: 1-Mar-2006.
  372. ACM
    Mišić V (2006). Perceptions of extreme programming, ACM SIGSOFT Software Engineering Notes, 31:2, (1-8), Online publication date: 1-Mar-2006.
  373. Logozzo F and Cortesi A Semantic hierarchy refactoring by abstract interpretation Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation, (313-331)
  374. Cohen T and Gil J Shakeins Transactions on Aspect-Oriented Software Development II, (101-146)
  375. Di Marzo Serugendo G On the use of formal specifications as part of running programs Software Engineering for Multi-Agent Systems IV, (224-237)
  376. Chalin P Are practitioners writing contracts? Rigorous Development of Complex Fault-Tolerant Systems, (100-113)
  377. Baar T, Marković S, Fondement F and Strohmeier A Definition and correct refinement of operation specifications Dependable Systems, (127-144)
  378. Arslan V, Eugster P, Nienaltowski P and Vaucouleur S SCOOP Dependable Systems, (82-102)
  379. Meyer B Dependable software Dependable Systems, (1-33)
  380. ACM
    Riehle R (2006). Linguistic continuity in software engineering, ACM SIGSOFT Software Engineering Notes, 31:1, (1-5), Online publication date: 1-Jan-2006.
  381. ACM
    Veas E, Kiyokawa K and Takemura H Self-aware framework for adaptive augmented reality Proceedings of the 2005 international conference on Augmented tele-existence, (70-77)
  382. Paige R and Brooke P Agile formal method engineering Proceedings of the 5th international conference on Integrated Formal Methods, (109-128)
  383. Chan Z and Paige R Designing a domain-specific contract language Proceedings of the First European conference on Model Driven Architecture: foundations and Applications, (175-189)
  384. Karaorman M and Abercrombie P (2005). jContractor, Formal Methods in System Design, 27:3, (275-312), Online publication date: 1-Nov-2005.
  385. Chalin P, Kiniry J, Leavens G and Poll E Beyond assertions Proceedings of the 4th international conference on Formal Methods for Components and Objects, (342-363)
  386. Aguirre N, Arroyo M, Bicarregui J, Guzmán L and Maibaum T Towards dynamically communicating abstract machines in the b method Proceedings of the 7th international conference on Formal Methods and Software Engineering, (141-155)
  387. ACM
    van Dooren M and Steegmans E Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (455-471)
  388. ACM
    van Dooren M and Steegmans E (2005). Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, 40:10, (455-471), Online publication date: 12-Oct-2005.
  389. Baar T OCL and graph-transformations Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (20-31)
  390. Wu P and Lieberherr K Shadow programming Proceedings of the 4th international conference on Generative Programming and Component Engineering, (141-156)
  391. Chan K, Poernomo I, Schmidt H and Jayaputera J A model-oriented framework for runtime monitoring of nonfunctional properties Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality, (38-52)
  392. ACM
    Cheon Y and Leavens G A contextual interpretation of undefinedness for runtime assertion checking Proceedings of the sixth international symposium on Automated analysis-driven debugging, (149-158)
  393. Poernomo I, Jayaputera J and Schmidt H Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference, (261-272)
  394. Savidis A Dynamic imperative languages for runtime extensible semantics and polymorphic meta-programming Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (113-128)
  395. Back R, Eriksson J and Milovanov L Using stepwise feature introduction in practice Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (2-17)
  396. Balzer S, Eugster P and Meyer B Can aspects implement contracts? Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, (145-157)
  397. Carter G, Monahan R and Morris J Software Refinement with Perfect Developer Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (363-373)
  398. Chalin P Logical Foundations of Program Assertions Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (383-393)
  399. ACM
    Thang N and Katayama T Specification and verification of inter-component constraints in CTL Proceedings of the 2005 conference on Specification and verification of component-based systems, (8-es)
  400. Alvaro A, Santana de Almeida E and de Lemos Meira S Software Component Certification Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications, (106-113)
  401. Tomaiuolo M, Turci P, Bergenti F and Poggi A An ontology support for semantic aware agents Proceedings of the 7th international conference on Agent-Oriented Information Systems III, (140-153)
  402. Braubach L, Pokahr A and Lamersdorf W Extending the capability concept for flexible BDI agent modularization Proceedings of the Third international conference on Programming Multi-Agent Systems, (139-155)
  403. Rodríguez E, Dwyer M, Flanagan C, Hatcliff J, Leavens G and Robby Extending JML for modular specification and verification of multi-threaded programs Proceedings of the 19th European conference on Object-Oriented Programming, (551-576)
  404. Banerjee A and Naumann D State based ownership, reentrance, and encapsulation Proceedings of the 19th European conference on Object-Oriented Programming, (387-411)
  405. Meyer B Attached types and their application to three open problems of object-oriented programming Proceedings of the 19th European conference on Object-Oriented Programming, (1-32)
  406. Dufay G, Felty A and Matwin S Privacy-sensitive information flow with JML Proceedings of the 20th international conference on Automated Deduction, (116-130)
  407. Bouquet F, Dadeau F, Legeard B and Utting M Symbolic animation of JML specifications Proceedings of the 2005 international conference on Formal Methods, (75-90)
  408. Kassios I Decoupling in object orientation Proceedings of the 2005 international conference on Formal Methods, (43-58)
  409. Leino K and Müller P Modular verification of static class invariants Proceedings of the 2005 international conference on Formal Methods, (26-42)
  410. Mano N and Kaneko T A knowledge-based modeling approach for verification, direct execution and plan synthesis of system design Proceedings of the 9th WSEAS International Conference on Computers, (1-6)
  411. Tsantalis N, Chatzigeorgiou A and Stephanides G (2005). Predicting the Probability of Change in Object-Oriented Systems, IEEE Transactions on Software Engineering, 31:7, (601-614), Online publication date: 1-Jul-2005.
  412. Anda B and Sjøberg D (2005). Investigating the Role of Use Cases in the Construction of Class Diagrams, Empirical Software Engineering, 10:3, (285-309), Online publication date: 1-Jul-2005.
  413. Kyas M An extended type system for OCL supporting templates and transformations Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (83-98)
  414. Back R, Milovanov L and Porres I Software development and experimentation in an academic environment Proceedings of the 6th international conference on Product Focused Software Process Improvement, (414-428)
  415. Behrends R, Stirewalt R and Dillon L A component-oriented model for the design of safe multi-threaded applications Proceedings of the 8th international conference on Component-Based Software Engineering, (251-266)
  416. ACM
    Harren M, Raghavachari M, Shmueli O, Burke M, Bordawekar R, Pechtchanski I and Sarkar V XJ Proceedings of the 14th international conference on World Wide Web, (278-287)
  417. Genero Bocco M, Moody D and Piattini M (2005). Assessing the capability of internal metrics as early indicators of maintenance effort through experimentation, Journal of Software Maintenance and Evolution: Research and Practice, 17:3, (225-246), Online publication date: 1-May-2005.
  418. Dubois P (2005). Maintaining Correctness in Scientific Programs, Computing in Science and Engineering, 7:3, (80-85), Online publication date: 1-May-2005.
  419. Logozzo F and Cortesi A (2005). Abstract Interpretation and Object-oriented Programming, Electronic Notes in Theoretical Computer Science (ENTCS), 131, (75-84), Online publication date: 1-May-2005.
  420. Kuliamin V, Pakoulin N and Petrenko A Practical approach to specification and conformance testing of distributed network applications Proceedings of the Second international conference on Service Availability, (68-83)
  421. Cortesi A and Logozzo F Abstract interpretation-based verification of non-functional requirements Proceedings of the 7th international conference on Coordination Models and Languages, (49-62)
  422. Bouquet F, Dadeau F and Groslambert J Checking JML specifications with b machines Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (434-453)
  423. Reussner R, Happe J and Habel A Modelling parametric contracts and the state space of composite components by graph grammars Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (80-95)
  424. Naumann D Observational purity and encapsulation Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (190-204)
  425. ACM
    Liu Y and Cunningham H BoxScript Proceedings of the 43rd annual Southeast regional conference - Volume 1, (349-354)
  426. ACM
    Cole L and Borba P Deriving refactorings for AspectJ Proceedings of the 4th international conference on Aspect-oriented software development, (123-134)
  427. Schöler T and Müller-Schloer C An observer/controller architecture for adaptive reconfigurable stacks Proceedings of the 18th international conference on Architecture of Computing Systems conference on Systems Aspects in Organic and Pervasive Computing, (139-153)
  428. Leavens G, Cheon Y, Clifton C, Ruby C and Cok D (2005). How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, 55:1-3, (185-208), Online publication date: 1-Mar-2005.
  429. Breunesse C, Cataño N, Huisman M and Jacobs B (2005). Formal methods for smart cards, Science of Computer Programming, 55:1-3, (53-80), Online publication date: 1-Mar-2005.
  430. Smeets N and Steegmans E A methodology for writing class contracts Proceedings of the 31st international conference on Theory and Practice of Computer Science, (418-422)
  431. Gross H, Mayer N and Riano J Assessing real-time component contracts through built-in evolutionary testing Component-Based Software Development for Embedded Systems, (107-122)
  432. Hameurlain N and Sibertin-Blanc C Specification of role-based interactions components in multi-agent systems Software Engineering for Multi-Agent Systems III, (180-197)
  433. Barthe G and Dufay G Formal methods for smartcard security Foundations of Security Analysis and Design III, (133-177)
  434. Bouyssounouse B and Sifakis J References Embedded Systems Design, (204-215)
  435. Johnson C and Barnes I Redesigning the intermediate course in software design Proceedings of the 7th Australasian conference on Computing education - Volume 42, (249-258)
  436. Li X, Liu Z, He J and Long Q Generating a prototype from a UML model of system requirements Proceedings of the First international conference on Distributed Computing and Internet Technology, (255-265)
  437. Schoeller B, Widmer T and Meyer B Making specifications complete through models Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (48-70)
  438. Becker S, Brogi A, Gorton I, Overhage S, Romanovsky A and Tivoli M Towards an engineering approach to component adaptation Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (193-215)
  439. Moschoyiannis S and Shields M (2004). A Set-Theoretic Framework for Component Composition, Fundamenta Informaticae, 59:4, (373-396), Online publication date: 1-Dec-2004.
  440. ACM
    Baresi L, Ghezzi C and Guinea S Smart monitors for composed services Proceedings of the 2nd international conference on Service oriented computing, (193-202)
  441. Liu Z, Jifeng H and Li X rCOS Proceedings of the Third international conference on Formal Methods for Components and Objects, (183-221)
  442. Johnsen E and Owe O A dynamic binding strategy for multiple inheritance and asynchronously communicating objects Proceedings of the Third international conference on Formal Methods for Components and Objects, (274-295)
  443. Naumann D Assertion-based encapsulation, object invariants and simulations Proceedings of the Third international conference on Formal Methods for Components and Objects, (251-273)
  444. ACM
    Orso A, Shi N and Harrold M (2004). Scaling regression testing to large software systems, ACM SIGSOFT Software Engineering Notes, 29:6, (241-251), Online publication date: 1-Nov-2004.
  445. Edwards S, Sitaraman M, Weide B and Hollingsworth J (2004). Contract-Checking Wrappers for C++ Classes, IEEE Transactions on Software Engineering, 30:11, (794-810), Online publication date: 1-Nov-2004.
  446. ACM
    Orso A, Shi N and Harrold M Scaling regression testing to large software systems Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (241-251)
  447. ACM
    Cole L and Borba P Deriving refactorings for aspectJ Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (202-203)
  448. ACM
    Nienaltowski P Efficient data race and deadlock prevention in concurrent object-oriented programs Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (56-57)
  449. ACM
    Nelson J Structured programming using processes Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, (54-64)
  450. Czarnecki K Overview of generative software development Proceedings of the 2004 international conference on Unconventional Programming Paradigms, (326-341)
  451. ACM
    Müller-Schloer C Organic computing Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (2-5)
  452. ACM
    Daugherty G Invited application paper Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (56-67)
  453. Soundarajan N and Hallstrom J Responsibilities and Rewards Proceedings of the 26th International Conference on Software Engineering, (666-675)
  454. ACM
    Verbraeck A Component-based distributed simulations Proceedings of the eighteenth workshop on Parallel and distributed simulation, (141-148)
  455. Cutumisu M, Chan C, Lu P and Szafron D MCI-java Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3, (2-2)
  456. Araban S and Sajeev A Reusability analysis of four standard object-oriented class libraries Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (171-186)
  457. ACM
    Liu Y and Cunningham H Mapping component specifications to Enterprise JavaBeans implementations Proceedings of the 42nd annual Southeast regional conference, (177-182)
  458. ACM
    Zhou S, Xu C, Wu H, Zhang J, Lin Y, Wang J, Gray J and Bryant B E-R modeler Proceedings of the 42nd annual Southeast regional conference, (160-165)
  459. ACM
    Milicia G and Sassone V The inheritance anomaly Proceedings of the 2004 ACM symposium on Applied computing, (1267-1274)
  460. ACM
    Ventura P and Ramamurthy B Wanted Proceedings of the 35th SIGCSE technical symposium on Computer science education, (240-244)
  461. ACM
    Ventura P and Ramamurthy B (2004). Wanted, ACM SIGCSE Bulletin, 36:1, (240-244), Online publication date: 1-Mar-2004.
  462. Kambayashi Y and Ledgard H (2004). The Separation Principle, IEEE Software, 21:2, (78-87), Online publication date: 1-Mar-2004.
  463. Doberkat E and Omodeo E (2004). ER modelling from first relational principles, Theoretical Computer Science, 311:1-3, (285-323), Online publication date: 23-Jan-2004.
  464. Goldman J, Gullick W and Johnson C (2004). Individual-based simulation of the clustering behaviour of epidermal growth factor receptors, Scientific Programming, 12:1, (25-43), Online publication date: 1-Jan-2004.
  465. ACM
    Tip F, Kiezun A and Bäumer D (2003). Refactoring for generalization using type constraints, ACM SIGPLAN Notices, 38:11, (13-26), Online publication date: 26-Nov-2003.
  466. Kuliamin V, Petrenko A, Kossatchev A and Burdonov I (2003). The UniTesK Approach to Designing Test Suites, Programming and Computing Software, 29:6, (310-322), Online publication date: 1-Nov-2003.
  467. ACM
    Tip F, Kiezun A and Bäumer D Refactoring for generalization using type constraints Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (13-26)
  468. Xie T and Notkin D Tool-assisted unit test selection based on operational violations Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (40-48)
  469. Rosu G and Chen F Certifying measurement unit safety policy Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (304-309)
  470. Wehrheim H (2003). Behavioral Subtyping Relations for Active Objects, Formal Methods in System Design, 23:2, (143-170), Online publication date: 1-Sep-2003.
  471. van der Aalst W, Weske M and Wirtz G (2003). Advanced Topics In Workflow Management: Issues, Requirements, And Solutions, Journal of Integrated Design & Process Science, 7:3, (49-77), Online publication date: 1-Aug-2003.
  472. Moschoyiannis S and Shields M (2003). A set-theoretic framework for component composition, Fundamenta Informaticae, 59:4, (373-396), Online publication date: 1-Aug-2003.
  473. Zhao L Designing application domain models with roles Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications, (1-16)
  474. Xu L and Jeusfeld M Pro-active monitoring of electronic contracts Proceedings of the 15th international conference on Advanced information systems engineering, (584-600)
  475. Olivé A Derivation rules in object-oriented conceptual modeling languages Proceedings of the 15th international conference on Advanced information systems engineering, (404-420)
  476. Lin T and McDermid J A behavioural notion of subtyping for object-oriented programming in SPARK95 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (309-321)
  477. Meyer B Towards practical proofs of class correctness Proceedings of the 3rd international conference on Formal specification and development in Z and B, (359-387)
  478. Utting M and Wang S Object orientation without extending Z Proceedings of the 3rd international conference on Formal specification and development in Z and B, (319-338)
  479. Jayatilaka D and Grimwood D Tonto Proceedings of the 2003 international conference on Computational science, (142-151)
  480. ACM
    Liang S, Zhang L and Luqi (2003). Automatic prototype generating via optimized object model, ACM SIGAda Ada Letters, XXIII:2, (22-31), Online publication date: 1-Jun-2003.
  481. Madsen P Unit testing using design by contract and equivalence partitions Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (425-426)
  482. Feldman Y Extreme design by contract Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (261-270)
  483. ACM
    Maedche A, Motik B, Stojanovic L, Studer R and Volz R An infrastructure for searching, reusing and evolving distributed ontologies Proceedings of the 12th international conference on World Wide Web, (439-448)
  484. Meyer B The grand challenge of Trusted Components Proceedings of the 25th International Conference on Software Engineering, (660-667)
  485. Dobbyn C and Stuart S (2003). The Self as an Embedded Agent, Minds and Machines, 13:2, (187-201), Online publication date: 1-May-2003.
  486. Lemahieu W, Snoeck M, Michiels C and Goethals F An event based approach to web service design and interaction Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications, (333-340)
  487. Hoare T The verifying compiler Proceedings of the 12th international conference on Compiler construction, (262-272)
  488. Zhao J and Rinard M Pipa Proceedings of the 6th international conference on Fundamental approaches to software engineering, (150-165)
  489. McDermid J Trends in system safety Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15, (3-8)
  490. Hoare C (2003). Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
  491. Hissam S, Moreno G, Stafford J and Wallnau K (2003). Enabling predictable assembly, Journal of Systems and Software, 65:3, (185-198), Online publication date: 15-Mar-2003.
  492. Meyer B A framework for proving contract-equipped classes Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (108-125)
  493. Dobing B and Parsons J The role of use cases in the UML Advanced topics in database research vol. 1, (367-382)
  494. Silva V, Garcia A, Brandão A, Chavez C, Lucena C and Alencar P Taming agents and objects in software engineering Software engineering for large-scale multi-agent systems, (1-26)
  495. London R and Craigen D Program verification Encyclopedia of Computer Science, (1458-1461)
  496. McCracken D Modular programming Encyclopedia of Computer Science, (1183-1184)
  497. Gries D Loop invariant Encyclopedia of Computer Science, (1038-1040)
  498. Connor R Abstract data type Encyclopedia of Computer Science, (1-5)
  499. Valentin E and Verbraeck A Practice Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (563-571)
  500. ACM
    Reilly D, Taleb-Bendiab A, Laws A and Badr N An instrumentation and control-based approach for distributed application management and adaptation Proceedings of the first workshop on Self-healing systems, (61-66)
  501. ACM
    Arnout K Extracting implicit contracts from .NET libraries Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (104-105)
  502. ACM
    Luján M, Gurd J, Freeman T and Miguel J Elimination of Java array bounds checks in the presence of indirection Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (76-85)
  503. Bergenti F A discussion of two major benefits of using agents in software evelopment Proceedings of the 3rd international conference on Engineering societies in the agents world III, (1-12)
  504. Cheston G and Tremblay J (2002). Integrating Software Engineering in Introductory Computing Courses, IEEE Software, 19:5, (64-71), Online publication date: 1-Sep-2002.
  505. Thain D and Livny M Error Scope on a Computational Grid Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
  506. Atkinson C, Bunse C, Groß H and Kühne T (2002). Towards a General Component Model for Web-Based Applications, Annals of Software Engineering, 13:1-4, (35-69), Online publication date: 25-Jun-2002.
  507. Philippi S Life-cycle inheritance in concurrent object-oriented systems Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12, (37-45)
  508. ACM
    Wellings A, Johnson B, Sanden B, Kienzle J, Wolf T and Michell S (2002). Integrating object-oriented programming and protected objects in Ada 95, ACM SIGAda Ada Letters, XXII:2, (11-44), Online publication date: 1-Jun-2002.
  509. ACM
    Greenhouse A and Scherlis W Assuring and evolving concurrent programs Proceedings of the 24th International Conference on Software Engineering, (453-463)
  510. ACM
    Kamiya T SOMA Proceedings of the International Workshop on Principles of Software Evolution, (124-128)
  511. Blilie C (2002). Patterns in Scientific Software, Computing in Science and Engineering, 4:3, (48-53), Online publication date: 1-May-2002.
  512. ACM
    Ubayashi N and Tamai T Aspect-oriented programming with model checking Proceedings of the 1st international conference on Aspect-oriented software development, (148-154)
  513. ACM
    Shomrat M and Yehudai A Obvious or not? Proceedings of the 1st international conference on Aspect-oriented software development, (3-9)
  514. ACM
    Roumani H (2002). Design guidelines for the lab component of objects-first CS1, ACM SIGCSE Bulletin, 34:1, (222-226), Online publication date: 1-Mar-2002.
  515. ACM
    Xianzhong L and Zhenyu W (2002). Event-based implicit invocation decentralized in Ada, ACM SIGAda Ada Letters, XXII:1, (11-16), Online publication date: 1-Mar-2002.
  516. ACM
    Roumani H Design guidelines for the lab component of objects-first CS1 Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (222-226)
  517. Zhao L and Coplien J Symmetry in class and type hierarchy Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (181-189)
  518. Urting D, Berbers Y, Van Baelen S, Holvoet T, Vandewoude Y and Rigole P A tool for component based design of embedded software Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (159-168)
  519. Mingins C and Chan C Building trust in third-party components using component wrappers in the .NET frameworks Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (153-157)
  520. Verheecke B and Van Der Straeten R Specifying and implementing the operational use of constraints in object-oriented applications Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (23-32)
  521. Noble J, Biddle R and Tempero E (2002). Metaphor and metonymy in object-oriented design patterns, Australian Computer Science Communications, 24:1, (187-195), Online publication date: 1-Jan-2002.
  522. Morris J, Lam P, Lee G, Parker K and Bundell G (2002). Determining component reliability using a testing index, Australian Computer Science Communications, 24:1, (167-176), Online publication date: 1-Jan-2002.
  523. Noble J, Biddle R and Tempero E Metaphor and metonymy in object-oriented design patterns Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (187-195)
  524. Morris J, Lam P, Lee G, Parker K and Bundell G Determining component reliability using a testing index Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (167-176)
  525. Misra J (2002). A Simple, Object-Based View of Multiprogramming, Formal Methods in System Design, 20:1, (23-45), Online publication date: 1-Jan-2002.
  526. ACM
    Lang J, Bogovich B, Barry S, Durkin B, Katchmar M, Kelly J, McCollum J and Potts M (2001). Object-oriented programming and design patterns, ACM SIGCSE Bulletin, 33:4, (68-70), Online publication date: 1-Dec-2001.
  527. ACM
    Kiczales G, Hilsdale E, Hugunin J, Kersten M, Palm J and Griswold W (2001). Getting started with ASPECTJ, Communications of the ACM, 44:10, (59-65), Online publication date: 1-Oct-2001.
  528. ACM
    Sreedhar V York Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (305-306)
  529. ACM
    Jagannathan R and Sivilotti P Increasing client-side confidence in remote component implementations Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (52-61)
  530. ACM
    Sreedhar V (2001). York, ACM SIGSOFT Software Engineering Notes, 26:5, (305-306), Online publication date: 1-Sep-2001.
  531. ACM
    Jagannathan R and Sivilotti P (2001). Increasing client-side confidence in remote component implementations, ACM SIGSOFT Software Engineering Notes, 26:5, (52-61), Online publication date: 1-Sep-2001.
  532. Wirtz G, Weske M and Giese H (2001). The OCoN Approach to Workflow Modeling in Object-Oriented Systems, Information Systems Frontiers, 3:3, (357-376), Online publication date: 1-Sep-2001.
  533. ACM
    Chandra P and Ibanez L (2001). ImageIO, XRDS: Crossroads, The ACM Magazine for Students, 7:4, (10-15), Online publication date: 1-Jul-2001.
  534. ACM
    Liang X and Wang Z (2001). Omega, ACM SIGAda Ada Letters, XXI:2, (65-80), Online publication date: 1-Jun-2001.
  535. ACM
    Sitaraman M, Kulczycki G, Krone J, Ogden W and Reddy A Performance specification of software components Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (3-10)
  536. ACM
    Sitaraman M, Kulczycki G, Krone J, Ogden W and Reddy A (2001). Performance specification of software components, ACM SIGSOFT Software Engineering Notes, 26:3, (3-10), Online publication date: 1-May-2001.
  537. (2001). Visual Modeling of Object-Oriented Distributed Systems, Journal of Visual Languages and Computing, 12:2, (183-202), Online publication date: 1-Apr-2001.
  538. ACM
    Gil J (2001). Subtyping arithmetical types, ACM SIGPLAN Notices, 36:3, (276-289), Online publication date: 1-Mar-2001.
  539. ACM
    Cunningham H and Wang J Building a layered framework for the table abstraction Proceedings of the 2001 ACM symposium on Applied computing, (668-674)
  540. ACM
    Hobatr C and Malloy B The design of an OCL query-based debugger for C++ Proceedings of the 2001 ACM symposium on Applied computing, (658-662)
  541. ACM
    Gil J Subtyping arithmetical types Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (276-289)
  542. ACM
    MacNish C Evolutionary programming techniques for testing students' code Proceedings of the Australasian conference on Computing education, (170-173)
  543. ACM
    Behrends R and Stirewalt R The universe model Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (20-29)
  544. ACM
    Behrends R and Stirewalt R (2000). The universe model, ACM SIGSOFT Software Engineering Notes, 25:6, (20-29), Online publication date: 1-Nov-2000.
  545. Alexander R and Offutt A Criteria for Testing Polymorphic Relationships Proceedings of the 11th International Symposium on Software Reliability Engineering
  546. ACM
    Luján M, Freeman T and Gurd J (2000). OoLALA, ACM SIGPLAN Notices, 35:10, (229-252), Online publication date: 1-Oct-2000.
  547. ACM
    Luján M, Freeman T and Gurd J OoLALA Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (229-252)
  548. Lunn D, Thomas A, Best N and Spiegelhalter D (2000). WinBUGS – A Bayesian modelling framework, Statistics and Computing, 10:4, (325-337), Online publication date: 1-Oct-2000.
  549. ACM
    Law G and McCann J Decomposition of preemptive scheduling in the Go! component-based operating system Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, (201-206)
  550. Soundarajan N and Fridella S Behavioral Subtyping and Behavioral Enrichment of Multimethods Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  551. Dedene G Critical Issues in the Proposed ISO Object-Oriented COBOL 2002 Standard Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  552. Viega J, Reynolds P and Behrends R Automating Delegation in Class-Based Languages Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  553. Heberle A, Löwe W, Neumann R and Zimmermann W Weak Subtyping and Genericity Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  554. Maley D and Spence I But Who Will Guard the Guardians? Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  555. ACM
    Lippert M and Lopes C A study on exception detection and handling using aspect-oriented programming Proceedings of the 22nd international conference on Software engineering, (418-427)
  556. ACM
    Rausch A Software evolution in componentware using requirements/assurances contracts Proceedings of the 22nd international conference on Software engineering, (147-156)
  557. ACM
    Engels G and Groenewegen L Object-oriented modeling Proceedings of the Conference on The Future of Software Engineering, (103-116)
  558. O'Ryan C, Kuhns F, Schmidt D, Othman O and Parsons J The design and performance of a pluggable protocols framework for real-time distributed object computing middleware IFIP/ACM International Conference on Distributed systems platforms, (372-395)
  559. ACM
    Tichelaar S, Cruz J and Demeyer S Design guidelines for coordination components Proceedings of the 2000 ACM symposium on Applied computing - Volume 1, (270-277)
  560. ACM
    Hasselbring W (2000). Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys, 32:1, (43-79), Online publication date: 1-Mar-2000.
  561. Neumann G and Zdun U XOTcl Proceedings of the 7th conference on USENIX Tcl/Tk - Volume 7, (16-16)
  562. ACM
    Leavens G, Ruby C, Leino K, Poll E and Jacobs B JML (poster session) Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), (105-106)
  563. Kaiya H and Kaijiri K Conducting Requirements Evolution by Replacing Components in the Current System Proceedings of the Sixth Asia Pacific Software Engineering Conference
  564. Neumann G and Zdun U Enhancing Object-Based System Composition through Per-Object Mixins Proceedings of the Sixth Asia Pacific Software Engineering Conference
  565. Sivilotti P and Giles C The specification of distributed objects Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
  566. Soundarajan N and Fridella S Modeling exceptional behavior Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (691-704)
  567. Giese H, Graf J and Wirtz G Closing the gap between object-oriented modeling of structure and behavior Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (534-549)
  568. Wienberg A, Matthes F and Boger M Modeling dynamic software components in UML Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (204-219)
  569. Paige R and Ostroff J A comparison of the business object notation and the unified modeling language Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (67-82)
  570. ACM
    Lee L, Siek J and Lumsdaine A (1999). The generic graph component library, ACM SIGPLAN Notices, 34:10, (399-414), Online publication date: 1-Oct-1999.
  571. ACM
    Sweeney P and Gil J (1999). Space and time-efficient memory layout for multiple inheritance, ACM SIGPLAN Notices, 34:10, (256-275), Online publication date: 1-Oct-1999.
  572. ACM
    Rinat R, Magidor M and Smith S (1999). Correspondence polymorphism for object-oriented languages, ACM SIGPLAN Notices, 34:10, (167-186), Online publication date: 1-Oct-1999.
  573. ACM
    Travassos G, Shull F, Fredericks M and Basili V (1999). Detecting defects in object-oriented designs, ACM SIGPLAN Notices, 34:10, (47-56), Online publication date: 1-Oct-1999.
  574. ACM
    Lee L, Siek J and Lumsdaine A The generic graph component library Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (399-414)
  575. ACM
    Sweeney P and Gil J Space and time-efficient memory layout for multiple inheritance Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (256-275)
  576. ACM
    Rinat R, Magidor M and Smith S Correspondence polymorphism for object-oriented languages Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (167-186)
  577. ACM
    Travassos G, Shull F, Fredericks M and Basili V Detecting defects in object-oriented designs Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (47-56)
  578. Poggi A and Armano G (1999). A Distributed Object-Oriented Language for Heterogeneous Computer Networks, The Journal of Supercomputing, 14:2, (153-169), Online publication date: 1-Sep-1999.
  579. Gutmann P The design of a cryptographic security architecture Proceedings of the 8th conference on USENIX Security Symposium - Volume 8, (13-13)
  580. Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
  581. Ramakrishnan S Visualizing O-O Testing in Virtual Communities - Distributed Teaching and Learning Proceedings of the Technology of Object-Oriented Languages and Systems
  582. Ploesch R and Pichler J Contracts Proceedings of the Technology of Object-Oriented Languages and Systems
  583. Firesmith D A Comparison of Defensive Development and Design by Contract Proceedings of the Technology of Object-Oriented Languages and Systems
  584. Daniels F and Tai K Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints Proceedings of the Technology of Object-Oriented Languages and Systems
  585. Alexander R and Offutt A Analysis Techniques for Testing Polymorphic Relationships Proceedings of the Technology of Object-Oriented Languages and Systems
  586. Fowler R Direct Mapping and User Interface Proceedings of the Technology of Object-Oriented Languages and Systems
  587. Dedene G Experiences Teaching Eiffel as a First Programming Language to Economy Students Proceedings of the Technology of Object-Oriented Languages and Systems
  588. Mikhajlova A Specifying Java Frameworks Using Abstract Programs Proceedings of the Technology of Object-Oriented Languages and Systems
  589. Altmann J and Pomberger G Cooperative Software Development Proceedings of the Technology of Object-Oriented Languages and Systems
  590. Haney S and Crotinger J (1999). How Templates Enable High-Performance Scientific Computing in C++, Computing in Science and Engineering, 1:4, (66-72), Online publication date: 1-Jul-1999.
  591. Cicalese C and Rotenstreich S (1999). Behavioral Specification of Distributed Software Component Interfaces, Computer, 32:7, (46-53), Online publication date: 1-Jul-1999.
  592. Beugnard A, Jézéquel J, Plouzeau N and Watkins D (1999). Making Components Contract Aware, Computer, 32:7, (38-45), Online publication date: 1-Jul-1999.
  593. ACM
    Borgida A and Devanbu P Adding more “DL” to IDL Proceedings of the 21st international conference on Software engineering, (378-387)
  594. ACM
    Benlarbi S and Melo W Polymorphism measures for early risk prediction Proceedings of the 21st international conference on Software engineering, (334-344)
  595. ACM
    van Deursen A and Kuipers T Identifying objects using cluster and concept analysis Proceedings of the 21st international conference on Software engineering, (246-255)
  596. ACM
    P. P and Raccoon L (1999). Multiple downcasting techniques, ACM SIGSOFT Software Engineering Notes, 24:3, (69-75), Online publication date: 1-May-1999.
  597. Dubois-Pelerin Y, Van Kemenade V and Deville M (1999). An Object-Oriented Toolbox for Spectral Element Analysis, Journal of Scientific Computing, 14:1, (1-29), Online publication date: 1-Mar-1999.
  598. Dawson L and Swatman P The use of object-oriented models in requirements engineering Proceedings of the 20th international conference on Information Systems, (260-273)
  599. ACM
    Kaisler S and Feldman M (1998). Object-oriented and concurrent program design issues in Ada 95, ACM SIGAda Ada Letters, XVIII:6, (246-254), Online publication date: 1-Nov-1998.
  600. ACM
    Kiddle O and Wellings A (1998). Extensible protected types, ACM SIGAda Ada Letters, XVIII:6, (229-239), Online publication date: 1-Nov-1998.
  601. ACM
    Kaisler S and Feldman M Object-oriented and concurrent program design issues in Ada 95 Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (246-254)
  602. ACM
    Kiddle O and Wellings A Extensible protected types Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (229-239)
  603. ACM
    Wu D, Agrawal D and El Abbadi A StratOSphere Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking, (121-132)
  604. ACM
    Leavens G and Millstein T (1998). Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, 33:10, (374-387), Online publication date: 1-Oct-1998.
  605. ACM
    Büchi M and Weck W (1998). Compound types for Java, ACM SIGPLAN Notices, 33:10, (362-373), Online publication date: 1-Oct-1998.
  606. ACM
    Solorzano J and Alagić S (1998). Parametric polymorphism for Java, ACM SIGPLAN Notices, 33:10, (216-225), Online publication date: 1-Oct-1998.
  607. ACM
    Leino K (1998). Data groups, ACM SIGPLAN Notices, 33:10, (144-153), Online publication date: 1-Oct-1998.
  608. ACM
    Leavens G and Millstein T Multiple dispatch as dispatch on Tuples Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (374-387)
  609. ACM
    Büchi M and Weck W Compound types for Java Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (362-373)
  610. ACM
    Solorzano J and Alagić S Parametric polymorphism for Java Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (216-225)
  611. ACM
    Leino K Data groups Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (144-153)
  612. ACM
    Breuer T and Linton S The GAP 4 type system: organising algebraic algorithms Proceedings of the 1998 international symposium on Symbolic and algebraic computation, (38-45)
  613. ACM
    Clark D, MacNish C and Royle G Java as a teaching language—opportunities, pitfalls and solutions Proceedings of the 3rd Australasian conference on Computer science education, (173-179)
  614. ACM
    Joiner J and Tsai W (1998). Re-engineering legacy Cobol programs, Communications of the ACM, 41:5es, (185-197), Online publication date: 1-May-1998.
  615. ACM
    Li W (1998). Towards a hierarchical design and integration of programming projects, ACM SIGCSE Bulletin, 30:1, (121-125), Online publication date: 1-Mar-1998.
  616. ACM
    Li W Towards a hierarchical design and integration of programming projects Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (121-125)
  617. Mrva M Enhanced reuse and teamwork capabilities for an object-oriented extension of VHDL Proceedings of the conference on Design, automation and test in Europe, (250-256)
  618. ACM
    Lencevicius R, Hölzle U and Singh A (1997). Query-based debugging of object-oriented programs, ACM SIGPLAN Notices, 32:10, (304-317), Online publication date: 9-Oct-1997.
  619. ACM
    Lencevicius R, Hölzle U and Singh A Query-based debugging of object-oriented programs Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (304-317)
  620. Noble J and Potter J Change Detection for Aggregate Objects with Aliasing Proceedings of the Australian Software Engineering Conference
  621. ACM
    Krabbel A, Wetzel I and Züllighoven H On the inevitable intertwining of analysis and design Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques, (205-213)
  622. ACM
    Sato N, Matsuoka S, Jézéquel J and Yonezawa A A methodology for specifying data distribution using only standard object-oriented features Proceedings of the 11th international conference on Supercomputing, (116-123)
  623. Büchi M and Sekerinski E Formal Methods for Component Software Proceedings of the Workshops on Object-Oriented Technology, (332-337)
  624. ACM
    Schoenefeld D (1997). Object-oriented design and programming, ACM SIGCSE Bulletin, 29:1, (135-139), Online publication date: 1-Mar-1997.
  625. ACM
    Schoenefeld D Object-oriented design and programming Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (135-139)
  626. ACM
    Fujita M and Kageyama K An open architecture for robot entertainment Proceedings of the first international conference on Autonomous agents, (435-442)
  627. Hammer D Process-Oriented Development of Embedded Systems Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
  628. ACM
    Bank J, Myers A and Liskov B Parameterized types for Java Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (132-145)
  629. ACM
    Cardelli L (1996). Bad engineering properties of object-orient languages, ACM Computing Surveys, 28:4es, (150-es), Online publication date: 1-Dec-1996.
  630. ACM
    Durham A and Johnson R (1996). A framework for run-time systems and its visual programming language, ACM SIGPLAN Notices, 31:10, (406-420), Online publication date: 1-Oct-1996.
  631. ACM
    Durham A and Johnson R A framework for run-time systems and its visual programming language Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (406-420)
  632. ACM
    Liu L and Meersman R (1996). The building blocks for specifying communication behavior of complex objects, ACM Transactions on Database Systems, 21:2, (157-207), Online publication date: 1-Jun-1996.
  633. Korel B and Al-Yami A Assertion-oriented automated test data generation Proceedings of the 18th international conference on Software engineering, (71-80)
  634. ACM
    Kölling M and Rosenberg J (1996). An object-oriented program development environment for the first programming course, ACM SIGCSE Bulletin, 28:1, (83-87), Online publication date: 1-Mar-1996.
  635. ACM
    Kölling M and Rosenberg J An object-oriented program development environment for the first programming course Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (83-87)
  636. ACM
    Li W and Kiran R An object-oriented design and implementation of reusable graph objects with C++ Proceedings of the 1996 ACM symposium on Applied Computing, (510-514)
  637. ACM
    Raje R, Pease D and Guy E OFFERS — a tool for hierarchical implicit analysis of sequential object-oriented programs Proceedings of the 1996 ACM symposium on Applied Computing, (437-441)
  638. Muthukrishnan S and Müller M Time and space efficient method-lookup for object-oriented programs Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms, (42-51)
  639. Painter R Object-oriented military simulation development and application Proceedings of the 27th conference on Winter simulation, (1185-1188)
  640. ACM
    Kripac J A mechanism for persistently naming topological entities in history-based parametric solid models Proceedings of the third ACM symposium on Solid modeling and applications, (21-30)
  641. ACM
    Baldo J Panel Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, (236-237)
  642. ACM
    Bonfatti F, Gadda G and Monari P Re-usable software design for programmable logic controllers Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems, (31-40)
  643. ACM
    Bonfatti F, Gadda G and Monari P (1995). Re-usable software design for programmable logic controllers, ACM SIGPLAN Notices, 30:11, (31-40), Online publication date: 1-Nov-1995.
  644. ACM
    Ghezala H and Kamoun F (1995). A reuse approach based on object orientation, ACM SIGSOFT Software Engineering Notes, 20:SI, (53-62), Online publication date: 1-Aug-1995.
  645. ACM
    Ghezala H and Kamoun F A reuse approach based on object orientation Proceedings of the 1995 Symposium on Software reusability, (53-62)
  646. ACM
    Kusakabe S, Nagai T, Yamashita Y, Taniguchi R and Amamiya M A dataflow language with object-based extension and its implementation on a commercially available parallel machine Proceedings of the 9th international conference on Supercomputing, (308-317)
  647. ACM
    Hymes C Conflicting class structures between the object oriented paradigm and users concepts Conference Companion on Human Factors in Computing Systems, (57-58)
  648. ACM
    Smolik T (1995). An object-oriented file system—an example of using the class hierarchy framework concept, ACM SIGOPS Operating Systems Review, 29:2, (33-53), Online publication date: 1-Apr-1995.
  649. ACM
    Headington M (1995). Removing implementation details from C++ class declarations, ACM SIGCSE Bulletin, 27:1, (24-28), Online publication date: 15-Mar-1995.
  650. ACM
    Headington M Removing implementation details from C++ class declarations Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (24-28)
  651. ACM
    Oliver S Object oriented design and implementation of concurrent and real time systems in Ada Proceedings of the conference on TRI-Ada '94, (343-349)
  652. ACM
    Bodily S, Embley D and Woodfield S Implementing OSA model instances in Ada Proceedings of the conference on TRI-Ada '94, (331-342)
  653. ACM
    Blum B (1994). A taxonomy of software development methods, Communications of the ACM, 37:11, (82-94), Online publication date: 1-Nov-1994.
  654. ACM
    Clark P and Hoffman L (1994). BITS: a smartcard protected operating system, Communications of the ACM, 37:11, (66-70), Online publication date: 1-Nov-1994.
  655. ACM
    Rich W and Strom S (1994). The navigation toolkit, ACM SIGPLAN OOPS Messenger, 5:4, (37-42), Online publication date: 1-Oct-1994.
  656. ACM
    Rich W and Strom S The navigation toolkit Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (37-42)
  657. ACM
    Ducournau R, Habib M, Huchard M and Mugnier M (1994). Proposal for a monotonic multiple inheritance linearization, ACM SIGPLAN Notices, 29:10, (164-175), Online publication date: 1-Oct-1994.
  658. ACM
    Seidewitz E (1994). Genericity versus inheritance reconsidered, ACM SIGPLAN Notices, 29:10, (153-163), Online publication date: 1-Oct-1994.
  659. ACM
    Puaut I (1994). A distributed garbage collector for active objects, ACM SIGPLAN Notices, 29:10, (113-128), Online publication date: 1-Oct-1994.
  660. ACM
    Chambers C and Leavens G (1994). Typechecking and modules for multi-methods, ACM SIGPLAN Notices, 29:10, (1-15), Online publication date: 1-Oct-1994.
  661. ACM
    Ducournau R, Habib M, Huchard M and Mugnier M Proposal for a monotonic multiple inheritance linearization Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (164-175)
  662. ACM
    Seidewitz E Genericity versus inheritance reconsidered Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (153-163)
  663. ACM
    Puaut I A distributed garbage collector for active objects Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (113-128)
  664. ACM
    Chambers C and Leavens G Typechecking and modules for multi-methods Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, (1-15)
  665. ACM
    Berlage T (1994). A selective undo mechanism for graphical user interfaces based on command objects, ACM Transactions on Computer-Human Interaction, 1:3, (269-294), Online publication date: 1-Sep-1994.
  666. ACM
    Binder R (1994). Design for testability in object-oriented systems, Communications of the ACM, 37:9, (87-101), Online publication date: 1-Sep-1994.
  667. ACM
    Dospisil J and Polgar T Conceptual modelling in the hypermedia development process Proceedings of the 1994 computer personnel research conference on Reinventing IS : managing information technology in changing organizations: managing information technology in changing organizations, (97-104)
  668. ACM
    Holt R (1994). Introducing undergraduates to object orientation using the Turing language, ACM SIGCSE Bulletin, 26:1, (324-328), Online publication date: 12-Mar-1994.
  669. ACM
    Holt R Introducing undergraduates to object orientation using the Turing language Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (324-328)
  670. ACM
    Bahsoun J, Merz S and Servieres C A framework for programming and formalizing concurrent objects Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (126-137)
  671. ACM
    Bahsoun J, Merz S and Servieres C (1993). A framework for programming and formalizing concurrent objects, ACM SIGSOFT Software Engineering Notes, 18:5, (126-137), Online publication date: 1-Dec-1993.
  672. ACM
    Cernosek G ROMAN-9X Proceedings of the conference on TRI-Ada '93, (385-406)
  673. ACM
    Godin R and Mili H (1993). Building and maintaining analysis-level class hierarchies using Galois Lattices, ACM SIGPLAN Notices, 28:10, (394-410), Online publication date: 1-Oct-1993.
  674. ACM
    Caseau Y (1993). Efficient handling of multiple inheritance hierarchies, ACM SIGPLAN Notices, 28:10, (271-287), Online publication date: 1-Oct-1993.
  675. ACM
    Godin R and Mili H Building and maintaining analysis-level class hierarchies using Galois Lattices Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (394-410)
  676. ACM
    Caseau Y Efficient handling of multiple inheritance hierarchies Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, (271-287)
  677. ACM
    Karaorman M and Bruno J (1993). Introducing concurrency to a sequential language, Communications of the ACM, 36:9, (103-115), Online publication date: 1-Sep-1993.
  678. ACM
    Caromel D (1993). Toward a method of object-oriented concurrent programming, Communications of the ACM, 36:9, (90-102), Online publication date: 1-Sep-1993.
  679. ACM
    Löhr K (1993). Concurrency annotations for reusable software, Communications of the ACM, 36:9, (81-89), Online publication date: 1-Sep-1993.
  680. ACM
    Meyer B (1993). Systematic concurrent object-oriented programming, Communications of the ACM, 36:9, (56-80), Online publication date: 1-Sep-1993.
  681. ACM
    Duserick F Discrimination between object-oriented and process approaches to systems analysis for functional decomposition of existing systems Proceedings of the 1993 conference on Computer personnel research, (481-491)
  682. Borgida A, Mylopoulos J and Reiter R “…And nothing else changes” Proceedings of the 15th international conference on Software Engineering, (303-314)
  683. Lichter H, Schneider-Hufschmidt M and Züllighoven H Prototyping in industrial software projects—bridging the gap between theory and practice Proceedings of the 15th international conference on Software Engineering, (221-229)
  684. ACM
    Grant D (1992). Object-orientation and Ada, ACM SIGPLAN OOPS Messenger, 4:2, (299-302), Online publication date: 1-Apr-1993.
  685. ACM
    Epstein R and Tucker A (1992). Introducing object-orientedness into a breadth-first introductory curriculum, ACM SIGPLAN OOPS Messenger, 4:2, (293-298), Online publication date: 1-Apr-1993.
  686. ACM
    Dodani M (1992). Teaching practical object-oriented software engineering, ACM SIGPLAN OOPS Messenger, 4:2, (251-256), Online publication date: 1-Apr-1993.
  687. ACM
    Northrop L (1992). Finding an educational perspective for object-oriented development, ACM SIGPLAN OOPS Messenger, 4:2, (245-249), Online publication date: 1-Apr-1993.
  688. ACM
    Murphy G and Wong P (1992). Towards a testing methodology for object-oriented systems, ACM SIGPLAN OOPS Messenger, 4:2, (139-140), Online publication date: 1-Apr-1993.
  689. ACM
    Ritchie D The development of the C language The second ACM SIGPLAN conference on History of programming languages, (201-208)
  690. ACM
    Stroustrup B A history of C++ The second ACM SIGPLAN conference on History of programming languages, (271-297)
  691. ACM
    Opdyke W and Johnson R Creating abstract superclasses by refactoring Proceedings of the 1993 ACM conference on Computer science, (66-73)
  692. ACM
    Ng K, Ma J and Nam G A class library management system for object-oriented programming Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (445-451)
  693. ACM
    Ancona M and Nieddu P Filtering import Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (103-110)
  694. ACM
    Tracz W Parametrized programming in LILEANNA Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (77-86)
  695. ACM
    Ritchie D (1993). The development of the C language, ACM SIGPLAN Notices, 28:3, (201-208), Online publication date: 1-Mar-1993.
  696. ACM
    Stroustrup B (1993). A history of C++, ACM SIGPLAN Notices, 28:3, (271-297), Online publication date: 1-Mar-1993.
  697. ACM
    Bhuskute H, Duse M, Gharpure J, Pratt D, Kamath M and Mize J Design and implementation of a highly reusable modeling and simulation framework for discrete part manufacturing systems Proceedings of the 24th conference on Winter simulation, (680-688)
  698. ACM
    Grant D Object-orientation and Ada Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (299-302)
  699. ACM
    Epstein R and Tucker A Introducing object-orientedness into a breadth-first introductory curriculum Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (293-298)
  700. ACM
    Dodani M Teaching practical object-oriented software engineering Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (251-256)
  701. ACM
    Northrop L Finding an educational perspective for object-oriented development Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (245-249)
  702. ACM
    Murphy G and Wong P Towards a testing methodology for object-oriented systems Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum), (139-140)
  703. ACM
    Carmichael A Defining software architectures using the Hierarchical Object-Oriented Design method (HOOD) Proceedings of the conference on TRI-Ada '92, (211-219)
  704. ACM
    Crespi-Reghizzi S, De Michele M and Perotta S Behavioral inheritance Proceedings of the conference on TRI-Ada '92, (200-210)
  705. ACM
    Strong N Identifying a complete object oriented life cycle for large systems development Proceedings of the conference on TRI-Ada '92, (166-175)
  706. ACM
    Dismukes G and Rome M Implementing tagged types and type extensions for Ada 9X Proceedings of the conference on TRI-Ada '92, (68-78)
  707. ACM
    Taft S (1992). Ada 9X, Communications of the ACM, 35:11, (77-82), Online publication date: 1-Nov-1992.
  708. ACM
    Löhr K (1992). Concurrency annotations, ACM SIGPLAN Notices, 27:10, (327-340), Online publication date: 31-Oct-1992.
  709. ACM
    Stacy W, Helm R, Kaiser G and Meyer B (1992). Ensuring semantic integrity of reusable objects (panel), ACM SIGPLAN Notices, 27:10, (298-302), Online publication date: 31-Oct-1992.
  710. ACM
    Horn B (1992). Constraint patterns as a basis for object oriented programming, ACM SIGPLAN Notices, 27:10, (218-233), Online publication date: 31-Oct-1992.
  711. ACM
    André P and Royer J (1992). Optimizing method search with lookup caches and incremental coloring, ACM SIGPLAN Notices, 27:10, (110-126), Online publication date: 31-Oct-1992.
  712. ACM
    Cook W (1992). Interfaces and specifications for the Smalltalk-80 collection classes, ACM SIGPLAN Notices, 27:10, (1-15), Online publication date: 31-Oct-1992.
  713. ACM
    Löhr K Concurrency annotations Conference proceedings on Object-oriented programming systems, languages, and applications, (327-340)
  714. ACM
    Stacy W, Helm R, Kaiser G and Meyer B Ensuring semantic integrity of reusable objects (panel) Conference proceedings on Object-oriented programming systems, languages, and applications, (298-302)
  715. ACM
    Horn B Constraint patterns as a basis for object oriented programming Conference proceedings on Object-oriented programming systems, languages, and applications, (218-233)
  716. ACM
    André P and Royer J Optimizing method search with lookup caches and incremental coloring Conference proceedings on Object-oriented programming systems, languages, and applications, (110-126)
  717. ACM
    Ducournau R, Habib M, Huchard M and Mugnier M Monotonic conflict resolution mechanisms for inheritance Conference proceedings on Object-oriented programming systems, languages, and applications, (16-24)
  718. ACM
    Cook W Interfaces and specifications for the Smalltalk-80 collection classes Conference proceedings on Object-oriented programming systems, languages, and applications, (1-15)
  719. ACM
    Monarchi D and Puhr G (1992). A research typology for object-oriented analysis and design, Communications of the ACM, 35:9, (35-47), Online publication date: 1-Sep-1992.
  720. ACM
    Jézéquel J, André F and Bergheul F A parallel execution environment for a sequential object oriented language Proceedings of the 6th international conference on Supercomputing, (368-376)
  721. ACM
    Crawford D (1992). Technical correspondence, Communications of the ACM, 35:8, (125), Online publication date: 1-Aug-1992.
  722. ACM
    Alfonseca M (1992). Object oriented graphics in APL2, ACM SIGAPL APL Quote Quad, 23:1, (1-6), Online publication date: 15-Jul-1992.
  723. ACM
    Alfonseca M Object oriented graphics in APL2 Proceedings of the international conference on APL, (1-6)
  724. ACM
    Kifer M, Kim W and Sagiv Y Querying object-oriented databases Proceedings of the 1992 ACM SIGMOD international conference on Management of data, (393-402)
  725. ACM
    Kim J and Lerch F Towards a model of cognitive process in logical design Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (489-498)
  726. ACM
    Kifer M, Kim W and Sagiv Y (1992). Querying object-oriented databases, ACM SIGMOD Record, 21:2, (393-402), Online publication date: 1-Jun-1992.
  727. ACM
    Shieh W, Weems B and Kavi K Extending N-grid group authorization using compact encoding Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, (190-196)
  728. ACM
    Al-Haddad H, George K, Hedrick G and Fisher D Multiple representation of abstract data types and reuse of realizations Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, (169-176)
  729. ACM
    Humm B and Fazzolare M Object-oriented analysis for telecommunications services Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, (52-62)
  730. ACM
    Tang L (1992). A CPU scheduling simulation from structured programming to object-oriented design, ACM SIGCSE Bulletin, 24:1, (129-133), Online publication date: 1-Mar-1992.
  731. ACM
    Kiper J, Lutz M and Etlinger H (1992). Undergraduate software engineering laboratories, ACM SIGCSE Bulletin, 24:1, (57-62), Online publication date: 1-Mar-1992.
  732. ACM
    Tang L A CPU scheduling simulation from structured programming to object-oriented design Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (129-133)
  733. ACM
    Kiper J, Lutz M and Etlinger H Undergraduate software engineering laboratories Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (57-62)
  734. ACM
    Ancona M, Cagetti P, Castagna P and Gruosso L Reusable distributed “data environments” Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (1083-1090)
  735. ACM
    Westerman S and Pang H Transfer of computing techniques to the chemical and petrochemical industries from NASA-JSC Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (927-932)
  736. ACM
    Lincoln P and Mitchell J Algorithmic aspects of type inference with subtypes Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (293-304)
  737. ACM
    Green J (1992). The evolution of DVI system software, Communications of the ACM, 35:1, (52-67), Online publication date: 2-Jan-1992.
  738. Rich D and Michelsen R An assessment of the ModSim/TWOS parallel simulation environment Proceedings of the 23rd conference on Winter simulation, (509-518)
  739. ACM
    Habermann A Ada and beyond Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, (466-474)
  740. ACM
    Prywes N, Lock E and Ge X Automatic abstraction of real-time software and re-implementation in Ada Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, (238-247)
  741. ACM
    Encontre V SDL: a standard language for Ada real-time applications Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, (45-53)
  742. ACM
    Wang H and Green M An event-object recovery model for object-oriented user interfaces Proceedings of the 4th annual ACM symposium on User interface software and technology, (107-115)
  743. ACM
    Chidamber S and Kemerer C (1991). Towards a metrics suite for object oriented design, ACM SIGPLAN Notices, 26:11, (197-211), Online publication date: 1-Nov-1991.
  744. ACM
    Palsberg J and Schwartzbach M (1991). Object-oriented type inference, ACM SIGPLAN Notices, 26:11, (146-161), Online publication date: 1-Nov-1991.
  745. ACM
    Chidamber S and Kemerer C Towards a metrics suite for object oriented design Conference proceedings on Object-oriented programming systems, languages, and applications, (197-211)
  746. ACM
    Palsberg J and Schwartzbach M Object-oriented type inference Conference proceedings on Object-oriented programming systems, languages, and applications, (146-161)
  747. ACM
    Doong R and Frankl P Case studies on testing object-oriented programs Proceedings of the symposium on Testing, analysis, and verification, (165-177)
  748. ACM
    Kilian M (1991). A note on type composition and reusability, ACM SIGPLAN OOPS Messenger, 2:3, (24-32), Online publication date: 1-Jul-1991.
  749. ACM
    Prueitt P and Craig R The object-oriented paradigm and neurocomputing Proceedings of the conference on Analysis of neural network applications, (42-59)
  750. Jackson D Aspect Proceedings of the 13th international conference on Software engineering, (13-22)
  751. ACM
    Rosson M, Carroll J and Sweeney C A view matcher for reusing Smalltalk classes Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (277-283)
  752. Pratt D, Farrington P, Basnet C, Bhuskute H, Kamath M and Mize J A framework for highly reusable simulation modeling Proceedings of the 24th annual symposium on Simulation, (254-261)
  753. Breugnot D, Gourgand M, Hill D and Kellert P GAME Proceedings of the 24th annual symposium on Simulation, (217-227)
  754. ACM
    Huebner R The executive office of environmental affairs systems modernization project Proceedings of the 19th annual conference on Computer Science, (600-617)
  755. ACM
    Jo C and George K Language concepts using dynamic and distributed objects Proceedings of the 19th annual conference on Computer Science, (211-220)
  756. ACM
    Pratt D, Farrington P, Basnet C, Bhuskute H, Kamath M and Mize J (1991). A framework for highly reusable simulation modeling, ACM SIGSIM Simulation Digest, 21:3, (254-261), Online publication date: 1-Apr-1991.
  757. ACM
    Breugnot D, Gourgand M, Hill D and Kellert P (1991). GAME, ACM SIGSIM Simulation Digest, 21:3, (217-227), Online publication date: 1-Apr-1991.
  758. ACM
    Ashenhurst R (1991). ACM Forum, Communications of the ACM, 34:1, (15-18), Online publication date: 3-Jan-1991.
  759. ACM
    Soukup J Organized C Proceedings of the 27th ACM/IEEE Design Automation Conference, (425-430)
  760. Basnet C, Farrington P, Pratt D, Kamath M, Karacal S and Beaumariage T Experiences in developing in object-oriented modeling environment for manufacturing systems Proceedings of the 22nd conference on Winter simulation, (477-481)
  761. ACM
    Sullivan K and Notkin D (1990). Reconciling environment integration and component independence, ACM SIGSOFT Software Engineering Notes, 15:6, (22-33), Online publication date: 1-Dec-1990.
  762. ACM
    Atkinson C, de Maio A and Bayan R (1990). Dragoon: an object-oriented notation supporting the reuse and distribution of Ada software, ACM SIGAda Ada Letters, X:9, (50-59), Online publication date: 1-Nov-1990.
  763. ACM
    Sullivan K and Notkin D Reconciling environment integration and component independence Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (22-33)
  764. ACM
    Carré B and Geib J (1990). The point of view notion for multiple inheritance, ACM SIGPLAN Notices, 25:10, (312-321), Online publication date: 1-Oct-1990.
  765. ACM
    Leavens G and Weihl W (1990). Reasoning about object-oriented programs that use subtypes, ACM SIGPLAN Notices, 25:10, (212-223), Online publication date: 1-Oct-1990.
  766. ACM
    America P and van der Linden F (1990). A parallel object-oriented language with inheritance and subtyping, ACM SIGPLAN Notices, 25:10, (161-168), Online publication date: 1-Oct-1990.
  767. ACM
    Freeman-Benson B (1990). Kaleidoscope: mixing objects, constraints, and imperative programming, ACM SIGPLAN Notices, 25:10, (77-88), Online publication date: 1-Oct-1990.
  768. ACM
    Nierstrasz O and Papathomas M (1990). Viewing object as patterns of communicating agents, ACM SIGPLAN Notices, 25:10, (38-43), Online publication date: 1-Oct-1990.
  769. ACM
    Toetenel H, van Katwijk J and Plat N (1990). Structured analysis—formal design, using stream and object oriented formal specifications, ACM SIGSOFT Software Engineering Notes, 15:4, (118-127), Online publication date: 1-Sep-1990.
  770. ACM
    Carré B and Geib J The point of view notion for multiple inheritance Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (312-321)
  771. ACM
    Leavens G and Weihl W Reasoning about object-oriented programs that use subtypes Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (212-223)
  772. ACM
    America P and van der Linden F A parallel object-oriented language with inheritance and subtyping Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (161-168)
  773. ACM
    Freeman-Benson B Kaleidoscope: mixing objects, constraints, and imperative programming Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (77-88)
  774. ACM
    Nierstrasz O and Papathomas M Viewing object as patterns of communicating agents Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (38-43)
  775. ACM
    Henderson-Sellers B and Edwards J (1990). The object-oriented systems life cycle, Communications of the ACM, 33:9, (142-159), Online publication date: 1-Sep-1990.
  776. ACM
    Gibbs S, Casais E, Nierstrasz O, Pintado X and Tsichritzis D (1990). Class management for software communities, Communications of the ACM, 33:9, (90-103), Online publication date: 1-Sep-1990.
  777. ACM
    Meyer B (1990). Lessons from the design of the Eiffel libraries, Communications of the ACM, 33:9, (68-88), Online publication date: 1-Sep-1990.
  778. ACM
    Genolini S, Di Maio A and De Michele M DRAGOON and Ada Proceedings of the seventh Washington Ada symposium on Ada, (245-254)
  779. ACM
    Bitman W Functional lists Proceedings of the seventh Washington Ada symposium on Ada, (101-122)
  780. ACM
    Cormack G and Wright A (1990). Type-dependent parameter inference, ACM SIGPLAN Notices, 25:6, (127-136), Online publication date: 1-Jun-1990.
  781. ACM
    Cormack G and Wright A Type-dependent parameter inference Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (127-136)
  782. ACM
    Atkinson C, de Maio A and Bayan R Dragoon: an object-oriented notation supporting the reuse and distribution of Ada software Proceedings of the fourth international workshop on Real-time Ada issues, (50-59)
  783. ACM
    Toetenel H, van Katwijk J and Plat N Structured analysis—formal design, using stream and object oriented formal specifications Conference proceedings on Formal methods in software development, (118-127)
  784. Järvinen H, Kurki-Suonio R, Sakkinen M and Systä K Object-oriented specification of reactive systems Proceedings of the 12th international conference on Software engineering, (63-71)
  785. ACM
    Regio M and Temperini M Implementation and manipulation of formal objects: an object-oriented view Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, (283-287)
  786. ACM
    Di Santo M and Iannello G ASK: a kernel for programming actor systems Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, (36-42)
  787. ACM
    Mitchell J Toward a typed foundation for method specialization and inheritance Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (109-124)
  788. ACM
    Canning P, Cook W, Hill W and Olthoff W (1989). Interfaces for strongly-typed object-oriented programming, ACM SIGPLAN Notices, 24:10, (457-467), Online publication date: 1-Oct-1989.
  789. ACM
    Madsen O and Moller-Pedersen B (1989). Virtual classes: a powerful mechanism in object-oriented programming, ACM SIGPLAN Notices, 24:10, (397-406), Online publication date: 1-Oct-1989.
  790. ACM
    Conner R, Dearle A, Morrison R and Brown A (1989). An object addressing mechanism for statically typed languages with multiple inheritance, ACM SIGPLAN Notices, 24:10, (279-285), Online publication date: 1-Oct-1989.
  791. ACM
    Dixon R, McKee T, Vaughan M and Schweizer P (1989). A fast method dispatcher for compiled languages with multiple inheritance, ACM SIGPLAN Notices, 24:10, (211-214), Online publication date: 1-Oct-1989.
  792. ACM
    Van Den Bos J and Laffra C (1989). PROCOL: a parallel object language with protocols, ACM SIGPLAN Notices, 24:10, (95-102), Online publication date: 1-Oct-1989.
  793. ACM
    Wirfs-Brock R and Wilkerson B (1989). Object-oriented design: a responsibility-driven approach, ACM SIGPLAN Notices, 24:10, (71-75), Online publication date: 1-Oct-1989.
  794. ACM
    Canning P, Cook W, Hill W and Olthoff W Interfaces for strongly-typed object-oriented programming Conference proceedings on Object-oriented programming systems, languages and applications, (457-467)
  795. ACM
    Madsen O and Moller-Pedersen B Virtual classes: a powerful mechanism in object-oriented programming Conference proceedings on Object-oriented programming systems, languages and applications, (397-406)
  796. ACM
    Conner R, Dearle A, Morrison R and Brown A An object addressing mechanism for statically typed languages with multiple inheritance Conference proceedings on Object-oriented programming systems, languages and applications, (279-285)
  797. ACM
    Dixon R, McKee T, Vaughan M and Schweizer P A fast method dispatcher for compiled languages with multiple inheritance Conference proceedings on Object-oriented programming systems, languages and applications, (211-214)
  798. ACM
    Van Den Bos J and Laffra C PROCOL: a parallel object language with protocols Conference proceedings on Object-oriented programming systems, languages and applications, (95-102)
  799. ACM
    Wirfs-Brock R and Wilkerson B Object-oriented design: a responsibility-driven approach Conference proceedings on Object-oriented programming systems, languages and applications, (71-75)
  800. ACM
    Lieberherr K, Holland I and Riel A (1988). Object-oriented programming: an objective sense of style, ACM SIGPLAN Notices, 23:11, (323-334), Online publication date: 1-Nov-1988.
  801. ACM
    Bjornerstedt A and Britts S (1988). AVANCE: an object management system, ACM SIGPLAN Notices, 23:11, (206-221), Online publication date: 1-Nov-1988.
  802. ACM
    Lieberherr K, Holland I and Riel A Object-oriented programming: an objective sense of style Conference proceedings on Object-oriented programming systems, languages and applications, (323-334)
  803. ACM
    Bjornerstedt A and Britts S AVANCE: an object management system Conference proceedings on Object-oriented programming systems, languages and applications, (206-221)
  804. Brafman R, Bar-Sinai M and Ashkenazi M Performance level profiles: A formal language for describing the expected performance of functional modules 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (1751-1756)
Contributors
  • Innopolis University

Recommendations

Pavol Navrat

The first edition of this work [1], which appeared in 1988, has been very successful. For a decade, it has been the book from which to learn about object orientation for countless disciples. Reflecting developments in the computing field in general, and in the object-oriented world in particular, Meyer, one of the pioneers of modern software engineering, has created a completely reworked second edition. Its 36 chapters and five appendices are grouped into eight parts. In Part A, the issues of software quality and the criteria for object orientation are introduced. Part B prepares readers for object orientation by describing concepts such as modularity and abstract data types. Part C introduces the concepts central to the method: classes, objects, genericity and typing, inheritance, and design by contract. Part D discusses methodological issues of analysis and design, the role of design patterns, the use of inheritance, and the life cycle model. Part E presents advanced topics: concurrency, distribution, persistence, object-oriented databases, and techniques for graphical interactive applications. Part F shows how to implement the method in various languages and environments. Part G describes an environment designed to support the ideas developed in the rest of the book. The environment combines the underlying method, the language used in the book (which is not named until the very end; in the last sentence, Meyer reveals that it is Eiffel), a set of tools, and libraries of reusable software components. Part H consists of the appendices. A time-limited version of the environment is provided on an accompanying CD-ROM; the CD also includes a complete hyperlinked version of the book. The text distinguishes itself by having exceptional clarity and incisive formulation of each idea, along with a literary style that one seldom encounters in books of this kind. Reading this book is both an aesthetic pleasure and a breath taking intellectual adventure. All concepts are perfectly motivated, described, and put into the proper context. The book is unrivalled in both the breadth and the depth of its coverage of object technology. I recommend this book to students who wish to learn object-oriented software construction, lecturers who teach it, and professionals working in the field. It is a must for all of them.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.