skip to main content
Skip header Section
The Unified Modeling Language user guideJanuary 1999
Publisher:
  • Addison Wesley Longman Publishing Co., Inc.
  • 350 Bridge Pkwy suite 208 Redwood City, CA
  • United States
ISBN:978-0-201-57168-4
Published:01 January 1999
Pages:
482
Skip Bibliometrics Section
Reflects downloads up to 24 Dec 2024Bibliometrics
Skip Abstract Section
Abstract

In The Unified Modeling Language User Guide, the original developers of the UML--Grady Booch, James Rumbaugh, and Ivar Jacobson--provide a tutorial to the core aspects of the language in a two-color format designed to facilitate learning. Starting with a conceptual model of the UML, the book progressively applies the UML to a series of increasingly complex modeling problems across a variety of application domains. This example-driven approach helps readers quickly understand and apply the UML. For more advanced developers, the book includes a learning track focused on applying the UML to advanced modeling problems.With The Unified Modeling Language User Guide, readers will:Understand what the UML is, what it is not, and why it is relevant to the development of software-intensive systemsMaster the vocabulary, rules, and idioms of the UML in order to "speak" the language effectivelyLearn how to apply the UML to a number of common modeling problemsSee illustrations of the UML's use interspersed with use cases for specific UML features, andGain insight into the UML from the original creators of the UML.

Cited By

  1. ACM
    Uhrmacher A, Frazier P, Hähnle R, Klügl F, Lorig F, Ludäscher B, Nenzi L, Ruiz-Martin C, Rumpe B, Szabo C, Wainer G and Wilsdorf P (2024). Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation, ACM Transactions on Modeling and Computer Simulation, 34:4, (1-51), Online publication date: 31-Oct-2024.
  2. ACM
    Arasaki C, Wolschick L, Freire W and Amaral A Feature selection in an interactive search-based PLA design approach Proceedings of the 17th Brazilian Symposium on Software Components, Architectures, and Reuse, (11-20)
  3. Gedam M and Meshram B (2022). Proposed Secure 3-Use Case Diagram, International Journal of Systems and Software Security and Protection, 13:1, (1-18), Online publication date: 30-Dec-2022.
  4. Hachichi H (2022). A Graph Transformation Approach for Modeling UML Diagrams, International Journal of Systems and Service-Oriented Engineering, 12:1, (1-17), Online publication date: 4-Mar-2022.
  5. Razwiedani M and Kogeda O A Decision Support System for Tuberculosis Prevalence in South Africa Computational Science and Its Applications – ICCSA 2021, (270-284)
  6. Volpe G, Mangini A and Fanti M An Architecture for Digital Processes in Manufacturing with Blockchain, Docker and Cloud Storage 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), (39-44)
  7. Fisher M, Mascardi V, Rozier K, Schlingloff B, Winikoff M and Yorke-Smith N (2020). Towards a framework for certification of reliable autonomous systems, Autonomous Agents and Multi-Agent Systems, 35:1, Online publication date: 1-Apr-2021.
  8. Abdalla R, Mishra A and Diallo S (2021). Agent-Oriented Software Engineering Methodologies, Complexity, 2021, Online publication date: 1-Jan-2021.
  9. ACM
    Majthoub M, Odeh Y and Hijjawi M Non-Functional Requirements Classification for Aligning Business with Information Systems Proceedings of the 2020 International Conference on Big Data in Management, (84-89)
  10. Awadid A, Nurcan S and Ayachi Ghannouchi S (2019). On leveraging the fruits of research efforts in the arena of business process modeling formalisms, Software and Systems Modeling (SoSyM), 18:3, (1905-1930), Online publication date: 1-Jun-2019.
  11. Chren S, Buhnova B, Macak M, Daubner L and Rossi B Mistakes in UML diagrams Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, (100-109)
  12. Wu X, Li C, Wang X and Yang H (2019). A Creative Approach to Reducing Ambiguity In Scenario-based Software Architecture Analysis, International Journal of Automation and Computing, 16:2, (248-260), Online publication date: 1-Apr-2019.
  13. ACM
    Siabato W, Claramunt C, Ilarri S and Manso-Callejo M (2018). A Survey of Modelling Trends in Temporal GIS, ACM Computing Surveys, 51:2, (1-41), Online publication date: 31-Mar-2019.
  14. ACM
    Trianita K, Djatna T and Fauzi A A System Analysis and Design of Marketing Strategy for Improving Pineapple Agritourism Proceedings of the 3rd International Conference on Machine Learning and Soft Computing, (253-258)
  15. (2019). A versatile approach for ranking and modelling of non-functional requirements, International Journal of Critical Computer-Based Systems, 9:1-2, (3-25), Online publication date: 1-Jan-2019.
  16. Ghaleb T, Alturki M, Aljasser K and Gerardo C (2018). Program comprehension through reverse‐engineered sequence diagrams, Journal of Software: Evolution and Process, 30:11, Online publication date: 14-Nov-2018.
  17. Afanasyev A, Voit N and Kirillov S Timed Automaton RVT-Grammar for Workflow Translating Advances in Computational Intelligence, (146-155)
  18. ACM
    Kästner A, Gogolla M and Selic B From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (13-22)
  19. Djaoui C, Kerkouche E, Chaoui A and Khalfaoui K A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams 2018 IEEE International Conference on Information Reuse and Integration (IRI), (511-517)
  20. Amissah M, Toba A, Handley H and Seck M Towards a framework for executable systems modeling Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, (1-12)
  21. ACM
    Kim J, Batory D and Dig D X15 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, (28-31)
  22. Sinha A and Jain H (2017). Reusing business components and objects for modeling business systems, Journal of Systems and Software, 131:C, (550-569), Online publication date: 1-Sep-2017.
  23. Rambikur A, Giammarco K and O'Halloran B Systems architecture in failure analysis (Applications of architecture modeling to system failure analysis) 2017 12th System of Systems Engineering Conference (SoSE), (1-6)
  24. Zheng P, Lu Y, Xu X and Xie S (2017). A system framework for OKP product planning in a cloud-based design environment, Robotics and Computer-Integrated Manufacturing, 45:C, (73-85), Online publication date: 1-Jun-2017.
  25. Ma Z (2017). An approach to improve the quality of object-oriented models from novice modelers through project practice, Frontiers of Computer Science: Selected Publications from Chinese Universities, 11:3, (485-498), Online publication date: 1-Jun-2017.
  26. Bjørner D (2017). Manifest domains: analysis and description, Formal Aspects of Computing, 29:2, (175-225), Online publication date: 1-Mar-2017.
  27. Lee k, Wu K, Kuo H and Yuan P (2017). Design and validation of a knowledge map system-the case of construction industry in Taiwan, Human Factors in Ergonomics & Manufacturing, 27:1, (30-44), Online publication date: 1-Jan-2017.
  28. Valente P, Silva T, Winckler M and Nunes N Bridging Enterprise and Software Engineering Through an User-Centered Design Perspective Proceedings of the 17th International Conference on Web Information Systems Engineering - Volume 10042, (349-357)
  29. Lee S and Kang S (2016). What situational information would help developers when using a graphical code recommender?, Journal of Systems and Software, 117:C, (199-217), Online publication date: 1-Jul-2016.
  30. Rago A, Marcos C and Diaz-Pace J (2016). Identifying duplicate functionality in textual use cases by aligning semantic actions, Software and Systems Modeling (SoSyM), 15:2, (579-603), Online publication date: 1-May-2016.
  31. Berry A, Butler K, Harrington C, Braxton M, Walker A, Pete N, Johnson T, Oberle M, Haselkorn J, Paul Nichol W and Haselkorn M (2016). Using conceptual work products of health care to design health IT, Journal of Biomedical Informatics, 59:C, (15-30), Online publication date: 1-Feb-2016.
  32. Mavridou A, Baranov E, Bliudze S and Sifakis J Configuration Logics Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 9539, (256-274)
  33. ACM
    Djaaboub S, Kerkouche E and Chaoui A A New Approach for Generating LOTOS Specifications from UML Dynamic Models Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, (138-143)
  34. ACM
    Mitra R Rapido Proceedings of the 24th International Conference on World Wide Web, (1509-1514)
  35. Amálio N and Glodt C (2015). A tool for visual and formal modelling of software designs, Science of Computer Programming, 98:P1, (52-79), Online publication date: 1-Feb-2015.
  36. ACM
    Zaidi T and Saxena V (2014). Performance Estimation of Static Step Topology Across Distributed Networks through Simulation Tool, ACM SIGSOFT Software Engineering Notes, 39:6, (1-4), Online publication date: 9-Dec-2014.
  37. Strasser U, Vilsmaier U, Prettenhaler F, Marke T, Steiger R, Damm A, Hanzer F, Wilcke R and Sttter J (2014). Coupled component modelling for inter- and transdisciplinary climate change impact research, Environmental Modelling & Software, 60:C, (180-187), Online publication date: 1-Oct-2014.
  38. ACM
    Marin M, Lotriet H and Van Der Poll J Measuring Method Complexity of the Case Management Modeling and Notation (CMMN) Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014 on SAICSIT 2014 Empowered by Technology, (209-216)
  39. Gorschek T, Tempero E and Angelis L (2014). On the use of software design models in software development practice, Journal of Systems and Software, 95, (176-193), Online publication date: 1-Sep-2014.
  40. Yan L and Ma Z (2014). Modeling fuzzy information in fuzzy extended entity-relationship model and fuzzy relational databases, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 27:4, (1881-1896), Online publication date: 1-Jul-2014.
  41. ACM
    Basso F, Oliveira T and Farias K Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1601-1608)
  42. Kaschek R A Semantic Analysis of Shared References Proceedings of the 32nd International Conference on Conceptual Modeling - Volume 8217, (88-95)
  43. 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)
  44. Valentim N, da Silva T, Silveira M and Conte T Estudo comparativo entre técnicas de inspeção de usabilidade sobre diagramas de atividades Proceedings of the 12th Brazilian Symposium on Human Factors in Computing Systems, (92-101)
  45. ACM
    Solms F Experiences with using the systematic method for architecture recovery (SyMAR) Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (170-178)
  46. ACM
    Lizcano D, Alonso F, Soriano J and Lopez G (2013). A web-centred approach to end-user software engineering, ACM Transactions on Software Engineering and Methodology, 22:4, (1-29), Online publication date: 1-Oct-2013.
  47. ACM
    Bartalesi V, Locuratolo E, Versienti L and Meghini C A preliminary study on the semantic representation of the notes to Dante Alighieri's Convivio Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment: metadata, vocabularies and techniques in the Digital Humanities, (1-7)
  48. Gómez M and Cervantes J (2013). User Interface Transition Diagrams for customer-developer communication improvement in software development projects, Journal of Systems and Software, 86:9, (2394-2410), Online publication date: 1-Sep-2013.
  49. Costa Neto A, Bonifácio R, Ribeiro M, Pontual C, Borba P and Castor F (2013). A design rule language for aspect-oriented programming, Journal of Systems and Software, 86:9, (2333-2356), Online publication date: 1-Sep-2013.
  50. Erickson J and Siau K Unified modeling language Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction design - Volume Part I, (295-304)
  51. Clemente M, Fanti M, Mangini A and Ukovich W The vehicle relocation problem in car sharing systems Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency, (250-269)
  52. ACM
    Zaidi T and Saxena V (2013). Modeling and validation of execution of tasks on high speed network under distributed environment, ACM SIGSOFT Software Engineering Notes, 38:3, (1-6), Online publication date: 23-May-2013.
  53. ACM
    Saxena V, Arora D and Mishra N (2013). UML modeling of load optimization for distributed computer systems based on genetic algorithm, ACM SIGSOFT Software Engineering Notes, 38:1, (1-7), Online publication date: 23-Jan-2013.
  54. ACM
    Sharma M and Vishwakarma R CMMI based software metrics to evaluate OOAD Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology, (19-25)
  55. ACM
    Chatty S Réconcilier conception d'interfaces et conception logicielle Proceedings of the 2012 Conference on Ergonomie et Interaction homme-machine, (73-80)
  56. ACM
    Solms F What is software architecture? Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (363-373)
  57. Milla-Millán G, Fdez-Olivares J, Sánchez-Garzón I, Prior D and Castillo L Knowledge-Driven adaptive execution of care pathways based on continuous planning techniques Proceedings of the 2012 international conference on Process Support and Knowledge Representation in Health Care, (42-55)
  58. ACM
    Shang R, Mohan K, Lang K and Vragov R A market mechanism for software component reuse Proceedings of the 14th Annual International Conference on Electronic Commerce, (62-69)
  59. Teixeira L, Ferreira C and Santos B (2012). User-centered requirements engineering in health information systems, Computer Methods and Programs in Biomedicine, 106:3, (160-174), Online publication date: 1-Jun-2012.
  60. Zuo W, Li W, Xu T, Xuan S and Na J (2012). A complete development process of finite element software for body-in-white structure with semi-rigid beams in .NET framework, Advances in Engineering Software, 45:1, (261-271), Online publication date: 1-Mar-2012.
  61. ACM
    Mascarell J (2011). Visual help to learn programming, ACM Inroads, 2:4, (42-48), Online publication date: 1-Dec-2011.
  62. Maass W, Storey V and Kowatsch T Effects of external conceptual models and verbal explanations on shared understanding in small groups Proceedings of the 30th international conference on Conceptual modeling, (92-103)
  63. ACM
    Lee E Heterogeneous actor modeling Proceedings of the ninth ACM international conference on Embedded software, (3-12)
  64. Hasker R (2011). UMLGrader, Journal of Computing Sciences in Colleges, 27:1, (47-54), Online publication date: 1-Oct-2011.
  65. Brückmann T, Gruhn V and Pfeiffer M Towards real-time monitoring and controlling of enterprise architectures using business software control centers Proceedings of the 5th European conference on Software architecture, (287-294)
  66. Hooman J, Huis in 't Veld R and Schuts M Experiences with a compositional model checker in the healthcare domain Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems, (93-110)
  67. ACM
    Damiani F, Dovland J, Johnsen E and Schaefer I Verifying traits Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, (1-6)
  68. ACM
    Arpit and Kumar A Refjav Proceedings of the International Conference on Advances in Computing and Artificial Intelligence, (150-154)
  69. ACM
    Heena and Ranjna A comparative study of UML tools Proceedings of the International Conference on Advances in Computing and Artificial Intelligence, (1-4)
  70. Pinet F, Kang M, Boulil K, Bimonte S, De Sousa G, Roussey C, Schneider M and Chanet J (2011). Using OCL to Model Constraints in Data Warehouses, International Journal of Technology Diffusion, 2:3, (36-46), Online publication date: 1-Jul-2011.
  71. Yeh C ebXML business-to-business integration based on semantic cloud computing architecture Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications, (671-680)
  72. ACM
    Yusuf I, Schmidt H and Peake I Architecture-based fault tolerance support for grid applications Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, (177-182)
  73. ACM
    Deutch D and Milo T A quest for beauty and wealth (or, business processes for database researchers) Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (1-12)
  74. Poniszewska-Maranda A Implementation of access control model for distributed information systems using usage control Proceedings of the 2011 international conference on Security and Intelligent Information Systems, (54-67)
  75. ACM
    Lyell M, Voyadgis D, Song M, Ketha P and Dibner P An ontology-based spatio-temporal data model and query language for use in GIS-type applications Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications, (1-9)
  76. Maass W and Janzen S Pattern-based approach for designing with diagrammatic and propositional conceptual models Proceedings of the 6th international conference on Service-oriented perspectives in design science research, (192-206)
  77. Houssin R and Coulibaly A (2011). An approach to solve contradiction problems for the safety integration in innovative design process, Computers in Industry, 62:4, (398-406), Online publication date: 1-May-2011.
  78. Turner R (2011). Specification, Minds and Machines, 21:2, (135-152), Online publication date: 1-May-2011.
  79. Iordan A, Panoiu M, Muscalagiu I and Rob R Object oriented development of an interactive software for studying of circle using UML diagrams Proceedings of the 5th European conference on European computing conference, (291-296)
  80. Shao G (2011). System testing using use cases for simulation model of an emergency room, International Journal of Advanced Intelligence Paradigms, 3:2, (96-111), Online publication date: 1-Apr-2011.
  81. ACM
    Shirole M, Suthar A and Kumar R Generation of improved test cases from UML state diagram using genetic algorithm Proceedings of the 4th India Software Engineering Conference, (125-134)
  82. Gustas R (2011). Modeling Approach for Integration and Evolution of Information System Conceptualizations, International Journal of Information System Modeling and Design, 2:1, (45-73), Online publication date: 1-Jan-2011.
  83. Kwon S (2011). Conceptual modeling of causal map, Expert Systems with Applications: An International Journal, 38:1, (360-370), Online publication date: 1-Jan-2011.
  84. Chacon E and Cardillo J Evolution of integrated automation approach Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics, (274-288)
  85. ACM
    Costa C Supporting ERP open source customization with UML Proceedings of the Workshop on Open Source and Design of Communication, (31-34)
  86. ACM
    Lopez N and van der Hoek A An agenda for concern-oriented software engineering Proceedings of the FSE/SDP workshop on Future of software engineering research, (217-222)
  87. ACM
    Mili H, Tremblay G, Jaoude G, Lefebvre É, Elabed L and Boussaidi G (2010). Business process modeling languages, ACM Computing Surveys, 43:1, (1-56), Online publication date: 1-Nov-2010.
  88. Unphon H and Dittrich Y (2010). Software architecture awareness in long-term software product evolution, Journal of Systems and Software, 83:11, (2211-2226), Online publication date: 1-Nov-2010.
  89. 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)
  90. Lee E Disciplined heterogeneous modeling Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (273-287)
  91. Mustafa B (2010). Comparing the Effect of Use Case Format on End User Understanding of System Requirements, Journal of Information Technology Research, 3:4, (1-20), Online publication date: 1-Oct-2010.
  92. Laouadi M, Mokhati F and Seridi-Bouchelaghem H A novel formal specification approach for real time multi-agent system functional requirements Proceedings of the 8th German conference on Multiagent system technologies, (15-27)
  93. Pombo C and Frias M Complete calculi for structured specifications in fork algebra Proceedings of the 7th International colloquium conference on Theoretical aspects of computing, (290-305)
  94. ACM
    Kessentini M, Wimmer M, Sahraoui H and Boukadoum M Generating transformation rules from examples for behavioral models Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, (1-7)
  95. Kessentini M, Bouchoucha A, Sahraoui H and Boukadoum M Example-Based sequence diagrams to colored petri nets transformation using heuristic search Proceedings of the 6th European conference on Modelling Foundations and Applications, (156-172)
  96. Iordan A and Panoiu M Modeling of an educational informatics system for the study of computational geometry elements using UML diagrams Proceedings of the 9th WSEAS international conference on Telecommunications and informatics, (232-237)
  97. ACM
    Bastani B (2010). Low-level dynamic system formation with high-level automation, ACM SIGSOFT Software Engineering Notes, 35:3, (1-10), Online publication date: 11-May-2010.
  98. Von Borstel F and Gordillo J (2010). Model-based development of virtual laboratories for robotics over the internet, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 40:3, (623-634), Online publication date: 1-May-2010.
  99. Chang Y, Chen Y, Chang C and Lin C (2010). Development scheme of haptic-based system for interactive deformable simulation, Computer-Aided Design, 42:5, (414-424), Online publication date: 1-May-2010.
  100. Choi C, Bae J and Kim T Challenges of teaching modeling and simulation theory to the domain experts in a blended learning environment Proceedings of the 9th international conference on Information technology based higher education and training, (357-363)
  101. Choi C, Bae J, Kim T, Kim J, Han W and Kim C Benefits and challenges in developing warship simulator based on DEVS formalism Proceedings of the 2010 Spring Simulation Multiconference, (1-6)
  102. ACM
    Fraternali P, Comai S, Bozzon A and Carughi G (2010). Engineering rich internet applications with a model-driven approach, ACM Transactions on the Web, 4:2, (1-47), Online publication date: 1-Apr-2010.
  103. Perry N and Uys W (2010). Knowledge integration based on roadmapping and conceptual framework approach to ease innovation management, International Journal of Computer Applications in Technology, 37:3/4, (165-181), Online publication date: 1-Mar-2010.
  104. ACM
    Satish S, Shashikant S, Sambhe V, Shelke R and Kocharekar G A minimum cardinality consistency-checking algorithm for UML class diagrams Proceedings of the International Conference and Workshop on Emerging Trends in Technology, (222-223)
  105. ACM
    Shrotri U, Venkatesh R and Metta R Proving unreachability using bounded model checking Proceedings of the 3rd India software engineering conference, (73-82)
  106. Zündorf A, Geiger L, Gemmerich R, Jubeh R, Leohold J, Müller D, Reckord C, Schneider C and Semmelrodt S Using graph grammars for modeling wiring harnesses - an experience report Graph transformations and model-driven engineering, (512-532)
  107. Börstler J Using role-play diagrams to improve scenario role-play Graph transformations and model-driven engineering, (309-334)
  108. Klein P The architecture description language model Graph transformations and model-driven engineering, (249-273)
  109. Wautelet Y, Schinckus C and Kolp M (2010). Towards Knowledge Evolution in Software Engineering, International Journal of Information Technologies and Systems Approach, 3:1, (21-40), Online publication date: 1-Jan-2010.
  110. Gustas R (2010). A Look Behind Conceptual Modeling Constructs in Information System Analysis and Design, International Journal of Information System Modeling and Design, 1:1, (79-108), Online publication date: 1-Jan-2010.
  111. ACM
    Rouson D, Adalsteinsson H and Xia J (2010). Design patterns for multiphysics modeling in Fortran 2003 and C++, ACM Transactions on Mathematical Software, 37:1, (1-30), Online publication date: 1-Jan-2010.
  112. Bahri M, Hettab A, Chaoui A and Kerkouche E Transforming Mobile UML Statecharts Models to Nested Nets Models Using Graph Grammars Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods, (33-39)
  113. ElMansouri R, Chaoui A, Kerkouche E and Khalfaoui K From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods, (73-78)
  114. Zhou B, Lu J, Wang Z, Zhang Y and Miao Z Formalizing fuzzy UML class diagrams with fuzzy description logics Proceedings of the 3rd international conference on Intelligent information technology application, (171-174)
  115. ACM
    Barkstrom B (2009). On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms, ACM SIGAda Ada Letters, 29:3, (61-72), Online publication date: 9-Nov-2009.
  116. ACM
    Barkstrom B On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms Proceedings of the ACM SIGAda annual international conference on Ada and related technologies, (61-72)
  117. Dong J, Zhao Y and Sun Y (2009). A matrix-based approach to recovering design patterns, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 39:6, (1271-1282), Online publication date: 1-Nov-2009.
  118. Trivino G, Mengual L and van der Heide A (2009). Towards an architecture for semiautonomous robot telecontrol systems, Information Sciences: an International Journal, 179:23, (3973-3984), Online publication date: 1-Nov-2009.
  119. Ceriņa-Bērziņa J, Bičevskis J and Karnītis Ģ Information systems development based on visual domain specific language bilingva Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques, (124-135)
  120. Boschian V, Fanti M, Iacobellis G and Ukovich W Using information and communication technologies in intermodal freight transportation Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics, (175-180)
  121. ACM
    Saxena V, Arora D and Shrivastava M (2009). Performance evaluation of network system through UML, ACM SIGSOFT Software Engineering Notes, 34:5, (1-3), Online publication date: 2-Oct-2009.
  122. Marew T, Lee J and Bae D (2009). Tactics based approach for integrating non-functional requirements in object-oriented analysis and design, Journal of Systems and Software, 82:10, (1642-1656), Online publication date: 1-Oct-2009.
  123. ACM
    Cortés H, García M, Hernández J, Hernández M, Pérez-Cordoba E and Ramos E Development of a distributed system applied to teaching and learning Proceedings of the 8th ACM SIGPLAN workshop on ERLANG, (41-50)
  124. Smeda A, Alti A and Boukerram A (2009). An environment for describing software systems, WSEAS Transactions on Computers, 8:9, (1610-1619), Online publication date: 1-Sep-2009.
  125. Martínez-Ortiz I, Sierra J, Fernández-Manjón B and Fernández-Valmayor A (2009). Language engineering techniques for the development of e-learning applications, Journal of Network and Computer Applications, 32:5, (1092-1105), Online publication date: 1-Sep-2009.
  126. ACM
    Park J, Youn H, Lee J and Lee E Automatic generation techniques of a resource monitor based on deployment diagram Proceedings of the 2009 International Conference on Hybrid Information Technology, (189-192)
  127. Iordan A, Panoiu M, Muscalagiu I and Rob R Realization of an interactive informatical system for the quadric surfaces study Proceedings of the WSEAES 13th international conference on Computers, (205-210)
  128. Liu C Ontology-Based Requirements Conflicts Analysis in Activity Diagrams Proceedings of the International Conference on Computational Science and Its Applications: Part II, (1-12)
  129. Losada B, Urretavizcaya M and Fernández De Castro I Efficient Building of Interactive Applications Guided by Requirements Models Proceedings of the 9th International Conference on Web Engineering, (481-484)
  130. ACM
    Duarte J and Lima-Marques M Modeling and simulation competency center for mature enterprises Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation, (1-12)
  131. Matsuura H and Morita N EJB-based implementation of L1VPN NMS controlled by each customer Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management, (614-621)
  132. Flügge A, Timmis J, Andrews P, Moore J and Kaye P Modelling and simulation of granuloma formation in visceral leishmaniasis Proceedings of the Eleventh conference on Congress on Evolutionary Computation, (3052-3059)
  133. Herrmannsdoerfer M, Haberl W and Baumgarten U Model-level simulation for COLA Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, (38-43)
  134. Arpinen T, Koskinen T, Salminen E, Hämäläinen T and Hännikäinen M Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA Proceedings of the Conference on Design, Automation and Test in Europe, (244-249)
  135. Chu H, Chen T, Lin C, Liao M and Chen Y (2009). Development of an adaptive learning case recommendation approach for problem-based e-learning on mathematics teaching for students with mild disabilities, Expert Systems with Applications: An International Journal, 36:3, (5456-5468), Online publication date: 1-Apr-2009.
  136. Nash E, Dreger F, Schwarz J, Bill R and Werner A (2009). Development of a model of data-flows for precision agriculture based on a collaborative research project, Computers and Electronics in Agriculture, 66:1, (25-37), Online publication date: 1-Apr-2009.
  137. Garredu S, Vittori E and Santucci J A DEVS-oriented intuitive modeling language Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
  138. ACM
    Vidal S, Abait E, Marcos C, Casas S and Díaz Pace J Aspect mining meets rule-based refactoring Proceedings of the 1st workshop on Linking aspect technology and evolution, (23-27)
  139. Raffo G, Gomes G, Normey-Rico J, Kelber C and Becker L (2009). A predictive controller for autonomous vehicle path tracking, IEEE Transactions on Intelligent Transportation Systems, 10:1, (92-102), Online publication date: 1-Mar-2009.
  140. ACM
    Saxena V and Shrivastava M (2009). Performance of function point analysis through UML modeling, ACM SIGSOFT Software Engineering Notes, 34:2, (1-4), Online publication date: 28-Feb-2009.
  141. ACM
    Saxena V and Arora D (2009). Performance evaluation for object oriented software systems, ACM SIGSOFT Software Engineering Notes, 34:2, (1-5), Online publication date: 28-Feb-2009.
  142. Cabot J, Clarisó R and Riera D Verifying UML/OCL Operation Contracts Proceedings of the 7th International Conference on Integrated Formal Methods, (40-55)
  143. Sarma M and Mall R (2009). Automatic generation of test specifications for coverage of system state transitions, Information and Software Technology, 51:2, (418-432), Online publication date: 1-Feb-2009.
  144. Zhao L, Liu X, Liu Z and Qiu Z (2009). Graph transformations for object-oriented refinement, Formal Aspects of Computing, 21:1-2, (103-131), Online publication date: 1-Feb-2009.
  145. Rivera-Lopez R, Rivera-Lopez E and Rodriguez-Leon A Another approach for the teaching of the foundations of programming using UML and Java Proceedings of the 3rd WSEAS international conference on Computer engineering and applications, (279-283)
  146. Yang A, Wu J and Wang L Based on B/S of the three-tier architecture of the questions the management system Proceedings of the 3rd WSEAS international conference on Computer engineering and applications, (186-190)
  147. Kock N, Verville J, Danesh-Pajou A and DeLuca D (2009). Communication flow orientation in business process modeling and its effect on redesign success, Decision Support Systems, 46:2, (562-575), Online publication date: 1-Jan-2009.
  148. Setavoraphan K and Grant F Conceptual simulation modeling Proceedings of the 40th Conference on Winter Simulation, (975-986)
  149. Macal C and North M Agent-based modeling and simulation Proceedings of the 40th Conference on Winter Simulation, (101-112)
  150. Arroyo S and Sicilia M (2008). SOPHIE, Information and Software Technology, 50:12, (1266-1280), Online publication date: 1-Nov-2008.
  151. ACM
    Diehl E A four-layer model for security of digital rights management Proceedings of the 8th ACM workshop on Digital rights management, (19-28)
  152. da Silva T and Silveira M Antecipando a avaliação de IHC Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems, (248-251)
  153. Hong S, Ahn G and Xu W (2008). Access Control Management for SCADA Systems, IEICE - Transactions on Information and Systems, E91-D:10, (2449-2457), Online publication date: 1-Oct-2008.
  154. Redding G, Dumas M, Hofstede A and Iordachescu A (2008). Generating Business Process Models from Object Behavior Models, Information Systems Management, 25:4, (319-331), Online publication date: 1-Oct-2008.
  155. Sözer A, Yazıcı A, Oğuztüzün H and Taş O (2008). Modeling and querying fuzzy spatiotemporal databases, Information Sciences: an International Journal, 178:19, (3665-3682), Online publication date: 1-Oct-2008.
  156. Shiue W, Li S and Chen K (2008). A frame knowledge system for managing financial decision knowledge, Expert Systems with Applications: An International Journal, 35:3, (1068-1079), Online publication date: 1-Oct-2008.
  157. Castro L, Gulías V, Abalde C and París J (2008). Environment-independent methodology for accessing external data sources, WSEAS Transactions on Information Science and Applications, 5:9, (1-10), Online publication date: 1-Sep-2008.
  158. ACM
    Vinita , Jain A and Tayal D (2008). On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms, ACM SIGSOFT Software Engineering Notes, 33:5, (1-9), Online publication date: 31-Aug-2008.
  159. ACM
    Riehle R (2008). Playscript for use cases, ACM SIGSOFT Software Engineering Notes, 33:5, (1-2), Online publication date: 31-Aug-2008.
  160. Rodríguez A, López-De-Teruel P, Ruiz A, García-Mateos G and Fernóndez L A Design Pattern for Component Oriented Development of Agent Based Multithreaded Applications Proceedings of the 14th international Euro-Par conference on Parallel Processing, (709-718)
  161. Lin J A modeling method for service management of e-Learning Proceedings of the 8th conference on Applied informatics and communications, (276-282)
  162. Iordan A, Savii G, Paănoiu M and Paănoiu C Development of a dynamical software for doing geometrical constructions Proceedings of the 8th conference on Applied informatics and communications, (104-109)
  163. Castro L, Gulías V, Abalde C and París J Database access and patterns in Erlang/OTP Proceedings of the 8th conference on Applied informatics and communications, (73-78)
  164. Goncalves G and Poniszewska-Maranda A (2008). Role engineering, Journal of Systems and Software, 81:8, (1306-1326), Online publication date: 1-Aug-2008.
  165. ACM
    Goldsby H and Cheng B Avida-MDE Proceedings of the 10th annual conference on Genetic and evolutionary computation, (1751-1758)
  166. Armstrong M and Densham P (2008). Cartographic support for locational problem-solving by groups, International Journal of Geographical Information Science, 22:7, (721-749), Online publication date: 1-Jul-2008.
  167. ACM
    Tribastone M and Gilmore S Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile Proceedings of the 7th international workshop on Software and performance, (67-78)
  168. ACM
    Kalibatiene D and Vasilecas O Formal transformation of ontology axioms to application domain rules Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, (V.1-1)
  169. Lin C and Chen S (2008). Implementation of a modified PCX image compression using java, WSEAS Transactions on Computers, 7:6, (670-679), Online publication date: 1-Jun-2008.
  170. Osawa N (2008). Jigsaw-Puzzle-Like 3D Glyphs for Visualization of Grammatical Constraints, IEICE - Transactions on Information and Systems, E91-D:6, (1804-1812), Online publication date: 1-Jun-2008.
  171. ACM
    Borsoi B and Becerra J (2008). Definition and modeling of process using object orientation, ACM SIGSOFT Software Engineering Notes, 33:3, (1-6), Online publication date: 1-May-2008.
  172. 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.
  173. Arroyo S, Sicilia M and López-Cobo J (2008). Patterns of message interchange in decoupled hypermedia systems, Journal of Network and Computer Applications, 31:2, (75-92), Online publication date: 1-Apr-2008.
  174. Mora R, Bédard C and Rivard H (2008). A geometric modelling framework for conceptual structural design from early digital architectural models, Advanced Engineering Informatics, 22:2, (254-270), Online publication date: 1-Apr-2008.
  175. Choi J and Yoo C Connect with things through instant messaging Proceedings of the 1st international conference on The internet of things, (276-288)
  176. ACM
    Ross K and Stoyanovich J Schema polynomials and applications Proceedings of the 11th international conference on Extending database technology: Advances in database technology, (404-415)
  177. ACM
    Qian J and Xu B Scenario oriented program slicing Proceedings of the 2008 ACM symposium on Applied computing, (748-752)
  178. Sarma M and Mall R (2008). System state coverage through automatic test case generation, International Journal of Information and Communication Technology, 1:3/4, (347-372), Online publication date: 1-Mar-2008.
  179. Giménez D, Vegetti M, Leone H and Henning G (2008). PRoduct ONTOlogy, Computers in Industry, 59:2-3, (231-241), Online publication date: 1-Mar-2008.
  180. Ma Y, Chen G and Thimm G (2008). Change propagation algorithm in a unified feature modeling scheme, Computers in Industry, 59:2-3, (110-118), Online publication date: 1-Mar-2008.
  181. ACM
    Sengupta S and Bhattacharya S Formalization of UML diagrams and their consistency verification Proceedings of the 1st India software engineering conference, (151-152)
  182. ACM
    Qian J and Xu B (2008). Program slicing under UML scenario models, ACM SIGPLAN Notices, 43:2, (21-24), Online publication date: 1-Feb-2008.
  183. 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.
  184. Yilmaz L (2008). Reasoning about conceptual interoperability of simulations using meta-level graph relations, Intelligent Decision Technologies, 2:1, (33-51), Online publication date: 1-Jan-2008.
  185. Sierra J, Fernández-Manjón B and Fernández-Valmayor A (2008). A language-driven approach for the design of interactive applications, Interacting with Computers, 20:1, (112-127), Online publication date: 1-Jan-2008.
  186. Massoni T, Gheyi R and Borba P (2008). A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (189-209), Online publication date: 1-Jan-2008.
  187. Rossetti M and Nangia S An object-oriented framework for simulating full truckload transportation networks Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (1869-1877)
  188. Macal C and North M Agent-based modeling and simulation Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (95-106)
  189. Lin T, Li C, Shan M and Babu S A framework for business operations management systems Proceedings of the 8th international conference on Web information systems engineering, (461-471)
  190. Ma Z and Yan L (2007). Fuzzy XML data modeling with the UML and relational data models, Data & Knowledge Engineering, 63:3, (972-996), Online publication date: 1-Dec-2007.
  191. ACM
    Dupuy-Chessa S, Godet-Bar G, Juras D and Rieu D Principes pour une méthode de conception de systèmes mixtes Proceedings of the 19th Conference on l'Interaction Homme-Machine, (75-82)
  192. Al-Kamha R, Embley D and Liddle S Augmenting traditional conceptual models to accommodate XML structural constructs Proceedings of the 26th international conference on Conceptual modeling, (518-533)
  193. Gonnet S, Henning G and Leone H (2007). A model for capturing and representing the engineering design process, Expert Systems with Applications: An International Journal, 33:4, (881-902), Online publication date: 1-Nov-2007.
  194. Schioler H, Schwefel H and Hansen M CyNC Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-10)
  195. ACM
    van der Merwe A, Kotzé P and Gerber A Generic process model structures Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries, (172-180)
  196. Farinha J and Trigueiros M An extensible metadata framework for data quality assessment of composite structures Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery, (34-44)
  197. Strein D, Lincke R, Lundberg J and Löwe W (2007). An Extensible Meta-Model for Program Analysis, IEEE Transactions on Software Engineering, 33:9, (592-607), Online publication date: 1-Sep-2007.
  198. Bhateja P, Gastin P, Mukund M and Kumar K Local testing of message sequence charts is difficult Proceedings of the 16th international conference on Fundamentals of Computation Theory, (76-87)
  199. Chimaris A and Papadopoulos G (2007). Implementing a generic component-based framework for telecontrol applications, Software—Practice & Experience, 37:10, (1087-1132), Online publication date: 1-Aug-2007.
  200. 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)
  201. Vasconcelos A and Werner C Architecture recovery and evaluation aiming at program understanding and reuse Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications, (72-89)
  202. Vasconcelos A and Werner C Architecture Recovery and Evaluation Aiming at Program Understanding and Reuse Third International Conference on Quality of Software Architectures on Software Architectures, Components, and Applications - Volume 4880, (72-89)
  203. Dong J, Yang S and Zhang K (2007). Visualizing Design Patterns in Their Applications and Compositions, IEEE Transactions on Software Engineering, 33:7, (433-453), Online publication date: 1-Jul-2007.
  204. Tarlecki A Toward specifications for reconfigurable component systems Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, (24-28)
  205. ACM
    Gupta N, Yang F, Demers A, Gehrke J and Shanmugasundaram J User-centric personalized extensibility for data-driven web applications Proceedings of the 2007 ACM SIGMOD international conference on Management of data, (1125-1127)
  206. Thiruvengada H and Rothrock L (2007). Time windows-based team performance measures: a framework to measure team performance in dynamic environments, Cognition, Technology and Work, 9:2, (99-108), Online publication date: 1-Jun-2007.
  207. Leclercq M, Ozcan A, Quema V and Stefani J Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset Proceedings of the 29th international conference on Software Engineering, (209-219)
  208. Liu Y and Traore I Complexity Measures for Secure Service-Oriented Software Architectures Proceedings of the Third International Workshop on Predictor Models in Software Engineering
  209. Javed A, Strooper P and Watson G Automated Generation of Test Cases Using Model-Driven Architecture Proceedings of the Second International Workshop on Automation of Software Test
  210. Phongpaibul M, Koolmanojwong S, Lam A and Boehm B Comparative experiences with electronic process guide generator tools Proceedings of the 2007 international conference on Software process, (61-72)
  211. ACM
    Yang F, Gupta N, Gerner N, Qi X, Demers A, Gehrke J and Shanmugasundaram J A unified platform for data driven web applications with automatic client-server partitioning Proceedings of the 16th international conference on World Wide Web, (341-350)
  212. Leppänen M A context-based enterprise ontology Proceedings of the 10th international conference on Business information systems, (273-286)
  213. Mason P and Tianvorakoon A Seamless traceability without compromise Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, (465-470)
  214. Kanongchaiyos P Calculation of document similarity using cellular structured space template Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, (311-316)
  215. Milicev D (2007). On the Semantics of Associations and Association Ends in UML, IEEE Transactions on Software Engineering, 33:4, (238-251), Online publication date: 1-Apr-2007.
  216. Power D and Sharda R (2007). Model-driven decision support systems, Decision Support Systems, 43:3, (1044-1061), Online publication date: 1-Apr-2007.
  217. Huchard M, Hacene M, Roume C and Valtchev P (2007). Relational concept discovery in structured datasets, Annals of Mathematics and Artificial Intelligence, 49:1-4, (39-76), Online publication date: 1-Apr-2007.
  218. ACM
    Podgorelec V and Heričko M (2007). Estimating software complexity from UML models, ACM SIGSOFT Software Engineering Notes, 32:2, (1-5), Online publication date: 1-Mar-2007.
  219. ACM
    Bastani B (2007). A requirements analysis framework for open systems requirements engineering, ACM SIGSOFT Software Engineering Notes, 32:2, (1-19), Online publication date: 1-Mar-2007.
  220. Wolff J (2007). Towards an intelligent database system founded on the SP theory of computing and cognition, Data & Knowledge Engineering, 60:3, (596-624), Online publication date: 1-Mar-2007.
  221. Reda O, El Ouahidi B and Bourget D Interaction signatures and action templates in the ODP computational viewpoint Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, (127-130)
  222. Lin J A conceptual model for business-oriented management of web services Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, (80-85)
  223. Ebnenasir A and Cheng B A pattern-based approach for modeling and analyzing error recovery Architecting dependable systems IV, (115-141)
  224. Rossetti M, Miman M, Varghese V and Xiang Y An object-oriented framework for simulating multi-echelon inventory systems Proceedings of the 38th conference on Winter simulation, (1452-1461)
  225. Macal C and North M Tutorial on agent-based modeling and simulation part 2 Proceedings of the 38th conference on Winter simulation, (73-83)
  226. Paszyński M and Demkowicz L (2006). Parallel, fully automatic hp-adaptive 3D finite element package, Engineering with Computers, 22:3-4, (255-276), Online publication date: 1-Dec-2006.
  227. Mok W, Palvia P and Paper D (2006). On the computability of agent-based workflows, Decision Support Systems, 42:3, (1239-1253), Online publication date: 1-Dec-2006.
  228. Deiterding R, Radovitzky R, Mauch S, Noels L, Cummings J and Meiron D (2006). A virtual test facility for the efficient simulation of solid material response under strong shock and detonation wave loading, Engineering with Computers, 22:3-4, (325-347), Online publication date: 1-Dec-2006.
  229. Tenzer J and Stevens P (2006). On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams, Formal Aspects of Computing, 18:4, (397-420), Online publication date: 1-Dec-2006.
  230. Jifeng H, Li X and Liu Z (2006). rCOS, Theoretical Computer Science, 365:1, (109-142), Online publication date: 10-Nov-2006.
  231. Lee K and Huh S (2006). A model-solver integration framework for autonomous and intelligent model solution, Decision Support Systems, 42:2, (926-944), Online publication date: 1-Nov-2006.
  232. Malinowski E and Zimányi E (2006). Hierarchies in a multidimensional model, Data & Knowledge Engineering, 59:2, (348-377), Online publication date: 1-Nov-2006.
  233. Maeng J, Na D, Lee Y and Ryu M Model-Driven development of RTOS-Based embedded software Proceedings of the 21st international conference on Computer and Information Sciences, (687-696)
  234. Elamkulam J, Glazberg Z, Rabinovitz I, Kowlali G, Gupta S, Kohli S, Dattathrani S and Macia C Detecting design flaws in UML state charts for embedded software Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing, (109-121)
  235. Uruguay A and Hirata C Using IDEF0 to enhance functional analysis in MOISE+ organizational modeling Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence, (78-87)
  236. ACM
    Alves V, Gheyi R, Massoni T, Kulesza U, Borba P and Lucena C Refactoring product lines Proceedings of the 5th international conference on Generative programming and component engineering, (201-210)
  237. Ahonen J, Aho A and Sihvonen H Three case-studies on common software process problems in software company acquisitions Proceedings of the 13th European conference on Software Process Improvement, (62-73)
  238. Szmurło R and Śmiałek M Teaching software modeling in a simulated project environment Proceedings of the 2006 international conference on Models in software engineering, (301-310)
  239. Paganelli F, Bianchi G and Giuli D A context model for context-aware system design towards the ambient intelligence vision Proceedings of the 9th conference on User interfaces for all, (173-191)
  240. Poniszewska-Marańda A Access control coherence of information systems based on security constraints Proceedings of the 25th international conference on Computer Safety, Reliability, and Security, (412-425)
  241. ACM
    Shanmugasundaram V, Juell P and Hill C (2006). Knowledge building using visualizations, ACM SIGCSE Bulletin, 38:3, (23-27), Online publication date: 26-Sep-2006.
  242. Chu H, Li Q, Hu S and Chen P An approach for reversely generating hierarchical UML statechart diagrams Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery, (434-437)
  243. ACM
    Anda B and Hansen K A case study on the application of UML in legacy development Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering, (124-133)
  244. ACM
    Zhuge H The open and autonomous interconnection semantics Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet, (105-115)
  245. Sengupta B and Cleaveland R (2006). Triggered Message Sequence Charts, IEEE Transactions on Software Engineering, 32:8, (587-607), Online publication date: 1-Aug-2006.
  246. Ryoo J and Saiedian H (2006). AVDL, Journal of Systems and Software, 79:8, (1180-1206), Online publication date: 1-Aug-2006.
  247. Melab N, Cahon S and Talbi E (2006). Grid computing for parallel bioinspired algorithms, Journal of Parallel and Distributed Computing, 66:8, (1052-1061), Online publication date: 1-Aug-2006.
  248. ACM
    Hammond T and Davis R LADDER ACM SIGGRAPH 2006 Courses, (27-es)
  249. ACM
    Hammond T and Davis R Tahuti ACM SIGGRAPH 2006 Courses, (25-es)
  250. Kuhn T, Royer L, Fuchs N and Schröder M Improving text mining with controlled natural language Proceedings of the Third international conference on Data Integration in the Life Sciences, (66-81)
  251. Pombo C and Frias M Fork algebras as a sufficiently rich universal institution Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (235-247)
  252. Willis D, Pearce D and Noble J Efficient object querying for java Proceedings of the 20th European conference on Object-Oriented Programming, (28-49)
  253. Kounev S (2006). Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets, IEEE Transactions on Software Engineering, 32:7, (486-502), Online publication date: 1-Jul-2006.
  254. Frederiks P and van der Weide T (2006). Information modeling, Data & Knowledge Engineering, 58:1, (4-20), Online publication date: 1-Jul-2006.
  255. Berghe C and Schunter M Privacy injector — automated privacy enforcement through aspects Proceedings of the 6th international conference on Privacy Enhancing Technologies, (99-117)
  256. ACM
    Shanmugasundaram V, Juell P and Hill C Knowledge building using visualizations Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (23-27)
  257. Martens A Time in the adaptive tutoring process model Proceedings of the 8th international conference on Intelligent Tutoring Systems, (134-143)
  258. Campos J and Merseguer J On the integration of UML and petri nets in software development Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency, (19-36)
  259. Babczyński T and Magott J PERT based approach to performance analysis of multi–agent systems Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing, (1040-1049)
  260. Ramos R, Sampaio A and Mota A Transformation laws for UML-RT Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (123-137)
  261. Arisholm E, Briand L, Hove S and Labiche Y (2006). The Impact of UML Documentation on Software Maintenance, IEEE Transactions on Software Engineering, 32:6, (365-381), Online publication date: 1-Jun-2006.
  262. Silva L, Huzita E and Tait T Comparing Approaches in AORE through ISO/IEC 9126 Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (146-156)
  263. ACM
    Gomaa H Designing concurrent, distributed, and real-time applications with UML Proceedings of the 28th international conference on Software engineering, (1059-1060)
  264. ACM
    Sengupta B, Chandra S and Sinha V A research agenda for distributed software development Proceedings of the 28th international conference on Software engineering, (731-740)
  265. ACM
    Lee J, Kim J and Cho J A series of development methodologies for a variety of systems in Korea Proceedings of the 28th international conference on Software engineering, (612-615)
  266. ACM
    Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
  267. Lee Y and Zhao W Domain requirements elicitation and analysis - an ontology-based approach Proceedings of the 6th international conference on Computational Science - Volume Part IV, (805-813)
  268. Paszyński M, Pardo D, Demkowicz L and Torres-Verdin C Parallel hp-Finite Element Simulations of 3D Resistivity Logging Instruments Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering, (635-642)
  269. Kelleher J and Simonsson M Utilizing use case classes for requirement and traceability modeling Proceedings of the 17th IASTED international conference on Modelling and simulation, (617-625)
  270. ACM
    Rugaber S Cataloging design abstractions Proceedings of the 2006 international workshop on Role of abstraction in software engineering, (11-18)
  271. ACM
    Amorim L, Maciel P, Nogueira M, Barreto R and Tavares E (2006). Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems, ACM SIGSOFT Software Engineering Notes, 31:3, (1-25), Online publication date: 1-May-2006.
  272. ACM
    Dobing B and Parsons J (2006). How UML is used, Communications of the ACM, 49:5, (109-113), Online publication date: 1-May-2006.
  273. Simmons E (2006). The Usage Model, IEEE Software, 23:3, (34-41), Online publication date: 1-May-2006.
  274. Bernardi S and Merseguer J (2006). QoS Assessment via Stochastic Analysis, IEEE Internet Computing, 10:3, (32-42), Online publication date: 1-May-2006.
  275. ACM
    Bollen P Conceptual process configurations in enterprise knowledge management systems Proceedings of the 2006 ACM symposium on Applied computing, (1516-1523)
  276. ACM
    Bilasco I, Gensel J, Villanova-Oliver M and Martin H An MPEG-7 framework enhancing the reuse of 3D models Proceedings of the eleventh international conference on 3D web technology, (65-74)
  277. Debnath N, Riesco D and Montejano G (2006). An ArgoUML metamodel extension for the workflow systems, Journal of Computational Methods in Sciences and Engineering, 6:5,6 Supplement 1, (47-57), Online publication date: 1-Apr-2006.
  278. Iwata H, Shirogane J and Fukazawa Y Automatic generation of tutorial systems from development specification Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering, (79-92)
  279. ACM
    Pearce D and Noble J Relationship aspects Proceedings of the 5th international conference on Aspect-oriented software development, (75-86)
  280. Bleistein S, Cox K and Verner J (2006). Validating strategic alignment of organizational IT requirements using goal modeling and problem diagrams, Journal of Systems and Software, 79:3, (362-378), Online publication date: 1-Mar-2006.
  281. Margoninski O, Saffrey P, Hetherington J, Finkelstein A and Warner A A specification language and a framework for the execution of composite models in systems biology Transactions on Computational Systems Biology VII, (163-184)
  282. Parsons D and Haden P Parson's programming puzzles Proceedings of the 8th Australasian Conference on Computing Education - Volume 52, (157-163)
  283. Carloni L, Passerone R, Pinto A and Angiovanni-Vincentelli A (2006). Languages and tools for hybrid systems design, Foundations and Trends in Electronic Design Automation, 1:1/2, (1-193), Online publication date: 1-Jan-2006.
  284. ACM
    Taylor M, Gresty D and Baskett M (2006). Computer game-flow design, Computers in Entertainment, 4:1, (5-es), Online publication date: 1-Jan-2006.
  285. Hall B (2006). Component interfaces that support measurement uncertainty, Computer Standards & Interfaces, 28:3, (306-310), Online publication date: 1-Jan-2006.
  286. Adsul B, Mukund M, Kumar K and Narayanan V Causal closure for MSC languages Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science, (335-347)
  287. Tseng C and Hsiung P UML-Based design flow and partitioning methodology for dynamically reconfigurable computing systems Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (479-488)
  288. Hu J, Yu X, Zhang Y, Zhang T, Li X and Zheng G Checking component-based embedded software designs for scenario-based timing specifications Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (395-404)
  289. de Wet N and Kritzinger P (2005). Using UML models for the performance analysis of network systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, 49:5, (627-642), Online publication date: 5-Dec-2005.
  290. Lang N, Jacobs P and Verbraeck A RMIS Proceedings of the 37th conference on Winter simulation, (336-345)
  291. Sengupta B and Cleaveland R An integrated framework for scenarios and state machines Proceedings of the 5th international conference on Integrated Formal Methods, (366-385)
  292. Galton A and Worboys M Processes and events in dynamic geo-networks Proceedings of the First international conference on GeoSpatial Semantics, (45-59)
  293. ACM
    Chang E, Hussain F and Dillon T Fuzzy nature of trust and dynamic trust modeling in service oriented environments Proceedings of the 2005 workshop on Secure web services, (75-83)
  294. ACM
    Sikici A Modeling from a semiotic perspective Proceedings of the 2005 symposia on Metainformatics, (14-es)
  295. ACM
    Gkotsis G, Tzagarakis M and Vaitis M Towards structural computing design Proceedings of the 2005 symposia on Metainformatics, (5-es)
  296. ACM
    Gheyi R, Massoni T and Borba P A rigorous approach for proving model refactorings Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (372-375)
  297. Léger A, Nixon L and Shvaiko P On identifying knowledge processing requirements Proceedings of the 4th international conference on The Semantic Web, (928-943)
  298. Sudarsan R, Fenves S, Sriram R and Wang F (2005). A product information modeling framework for product lifecycle management, Computer-Aided Design, 37:13, (1399-1411), Online publication date: 1-Nov-2005.
  299. Idani A, Ledru Y and Bert D Derivation of UML class diagrams as static views of formal b developments Proceedings of the 7th international conference on Formal Methods and Software Engineering, (37-51)
  300. Goldman J and Song I Organizing and managing use cases Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (43-52)
  301. Ignatova T and Bruder I Utilizing a multimedia UML framework for an image database application Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (23-32)
  302. Dobing B and Parsons J Current practices in the use of UML Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (2-11)
  303. Girardi R and Lindoso A DDEMAS Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (141-150)
  304. Vassiliadis P, Simitsis A, Terrovitis M and Skiadopoulos S Blueprints and measures for ETL workflows Proceedings of the 24th international conference on Conceptual Modeling, (385-400)
  305. Sadou N, Tamzalit D and Oussalah M How to manage uniformly software architecture at different abstraction levels Proceedings of the 24th international conference on Conceptual Modeling, (16-30)
  306. ACM
    de Paula M, Barbosa S and de Lucena C Conveying human-computer interaction concerns to software engineers through an interaction model Proceedings of the 2005 Latin American conference on Human-computer interaction, (109-119)
  307. ACM
    Trong T, Ghosh S, France R, Hamilton M and Wilkins B UMLAnT Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, (120-124)
  308. ACM
    Börstler J Improving CRC-card role-play with role-play diagrams Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (356-364)
  309. ACM
    Pérez-González H, Kalita J, Núñez Varela A and Wiener R GOOAL Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (180-181)
  310. Chatain T, Hélouët L and Jard C From automata networks to HMSCs Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (489-502)
  311. Crane M and Dingel J UML vs. classical vs. rhapsody statecharts Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (97-112)
  312. Tkatchenko M and Kiczales G Uniform support for modeling crosscutting structure Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (508-521)
  313. ACM
    Frias M, López Pombo C, Baum G, Aguirre N and Maibaum T (2005). Reasoning about static and dynamic properties in alloy, ACM Transactions on Software Engineering and Methodology, 14:4, (478-526), Online publication date: 1-Oct-2005.
  314. ACM
    Estublier J, Leblang D, Hoek A, Conradi R, Clemm G, Tichy W and Wiborg-Weber D (2005). Impact of software engineering research on the practice of software configuration management, ACM Transactions on Software Engineering and Methodology, 14:4, (383-430), Online publication date: 1-Oct-2005.
  315. Briand L, Labiche Y, Di Penta M and Yan-Bondoc H (2005). An Experimental Investigation of Formality in UML-Based Development, IEEE Transactions on Software Engineering, 31:10, (833-849), Online publication date: 1-Oct-2005.
  316. Jovanovic J and Gaševic D (2005). Achieving knowledge interoperability, Expert Systems with Applications: An International Journal, 29:3, (535-553), Online publication date: 1-Oct-2005.
  317. ACM
    Oppl S and Stary C Towards human-centered design of diagrammatic representation schemes Proceedings of the 4th international workshop on Task models and diagrams, (55-62)
  318. Simons A and Fernandez C Using Alloy to model-check visual design notations Proceedings of the Sixth Mexican International Conference on Computer Science, (121-128)
  319. Pinkwart N Synchronization contexts as a means to support collaborative modeling Proceedings of the 11th international conference on Groupware: design, Implementation, and Use, (145-152)
  320. Håkansson A Modelling from knowledge versus modelling from rules using UML Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II, (393-402)
  321. Valatkaite I and Vasilecas O On business rules automation Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (349-364)
  322. Scheffczyk J, Borghoff U, Birk A and Siedersleben J Pragmatic Consistency Management in Industrial Requirements Specifications Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (272-281)
  323. Bjorner D A Cloverleaf of Software Engineering Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (86-85)
  324. ACM
    Darbari M and Saxena V (2005). Modeling biological systems, ACM SIGSOFT Software Engineering Notes, 30:5, (1-4), Online publication date: 1-Sep-2005.
  325. Sabucedo L and Rifón L A proposal for a semantic-driven egovernment service architecture Proceedings of the 4th international conference on Electronic Government, (237-248)
  326. Glassey O and Gordon T Feasibility study for a legal knowledge system in the county of herford Proceedings of the 4th international conference on Electronic Government, (186-197)
  327. Panagis Y, Sakkopoulos E, Sirmakessis S, Tsakalidis A and Tzimas G Discovering re-usable design solutions in web conceptual schemas Proceedings of the 5th international conference on Web Engineering, (545-556)
  328. Azam F, Li Z and Ahmad R Higher-Level information aspects of web systems Proceedings of the 5th international conference on Web Engineering, (472-477)
  329. Viganò F, Fornara N and Colombetti M An event driven approach to norms in artificial institutions Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems, (142-154)
  330. Raimbault T, Genest D and Loiseau S A new method to interrogate and check UML class diagrams Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge, (353-366)
  331. Oussalah M, Sadou N and Tamzalit D A generic model for managing software architecture evolution Proceedings of the 9th WSEAS International Conference on Systems, (1-6)
  332. Paolino L, Sebillo M, Tortora G and Vitiello G An OpenGIS®-based approach to define continuous field data within a visual environment Proceedings of the 8th international conference on Visual Information and Information Systems, (83-93)
  333. Geiger L and Zündorf A Developing tools with fujaba XProM Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, (344-356)
  334. ACM
    Shin M and Cooke D (2005). Connector-based self-healing mechanism for components of a reliable system, ACM SIGSOFT Software Engineering Notes, 30:4, (1-7), Online publication date: 1-Jul-2005.
  335. Thompson C and Jena R (2005). Digital Licensing, IEEE Internet Computing, 9:4, (85-88), Online publication date: 1-Jul-2005.
  336. He H, Zhong Y and Cai C (2005). A generic framework for modeling heterogeneous real-time systems, Computer Standards & Interfaces, 28:1, (43-58), Online publication date: 1-Jul-2005.
  337. 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.
  338. Baar T Non-deterministic constructs in OCL – what does any() mean Proceedings of the 12th international conference on Model Driven, (32-46)
  339. Hoppenbrouwers S, Proper H and van der Weide T Understanding the requirements on modelling techniques Proceedings of the 17th international conference on Advanced Information Systems Engineering, (262-276)
  340. Cabibbo L and Carosi A Managing inheritance hierarchies in object/relational mapping tools Proceedings of the 17th international conference on Advanced Information Systems Engineering, (135-150)
  341. Ilieva M and Ormandjieva O Automatic transition of natural language software requirements specification into formal presentation Proceedings of the 10th international conference on Natural Language Processing and Information Systems, (392-397)
  342. Jeffrey A and Rathke J (2005). A fully abstract may testing semantics for concurrent objects, Theoretical Computer Science, 338:1-3, (17-63), Online publication date: 10-Jun-2005.
  343. Agosti M and Ferro N Annotations as context for searching documents Proceedings of the 5th international conference on Context: conceptions of Library and Information Sciences, (155-170)
  344. Papaioannou D and Tassopoulos A (2005). Design and implementation of information systems for environmental managers, Neural, Parallel & Scientific Computations, 13:2, (179-198), Online publication date: 1-Jun-2005.
  345. Messa K, Czejdo B and Cahill M (2005). Using XML views for improving graphical query specifications, Journal of Computing Sciences in Colleges, 20:6, (170-179), Online publication date: 1-Jun-2005.
  346. Fang S (2005). University Course Scheduling System (UCSS), Journal of Computing Sciences in Colleges, 20:6, (160-169), Online publication date: 1-Jun-2005.
  347. ACM
    Shumba R (2005). Usability of Rational Rose and Visio in a software engineering course, ACM SIGCSE Bulletin, 37:2, (107-110), Online publication date: 1-Jun-2005.
  348. Gröger G and Plümer L (2005). How to Get 3-D for the Price of 2-D--Topology and Consistency of 3-D Urban GIS, Geoinformatica, 9:2, (139-158), Online publication date: 1-Jun-2005.
  349. Norton B, Chapman S and Ciravegna F Orchestration of semantic web services for large-scale document annotation Proceedings of the Second European conference on The Semantic Web: research and Applications, (649-663)
  350. Belkadi F, Bonjour E and Dulmet M Modelling framework of a traceability system to improve knowledge sharing and collaborative design Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II, (355-364)
  351. Kotulski L Graph representation of the nested software structure Proceedings of the 5th international conference on Computational Science - Volume Part III, (1008-1011)
  352. ACM
    Shin M and Cooke D Connector-based self-healing mechanism for components of a reliable system Proceedings of the 2005 workshop on Design and evolution of autonomic application software, (1-7)
  353. ACM
    Gestwicki P and Jayaraman B Methodology and architecture of JIVE Proceedings of the 2005 ACM symposium on Software visualization, (95-104)
  354. ACM
    Kholkar D, Krishna G, Shrotri U and Venkatesh R Visual specification and analysis of use cases Proceedings of the 2005 ACM symposium on Software visualization, (77-85)
  355. ACM
    Ošlejšek R and Sochor J A flexible, low-level scene graph traversal with explorers Proceedings of the 21st Spring Conference on Computer Graphics, (203-210)
  356. Cho Y, Lee W and Chong K The technique of test case design based on the UML sequence diagram for the development of web applications Proceedings of the 2005 international conference on Computational Science and its Applications - Volume Part I, (1-10)
  357. Cheng J, Scharenbroich L, Baldi P and Mjolsness E (2005). Sigmoid, IEEE Intelligent Systems, 20:3, (68-75), Online publication date: 1-May-2005.
  358. Tian Q, Ma J, Liang J, Kwok R and Liu O (2005). An organizational decision support system for effective R&D project selection, Decision Support Systems, 39:3, (403-413), Online publication date: 1-May-2005.
  359. Grassi V Performance analysis of mobile systems Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing, (107-154)
  360. Groenewegen L, van Kampenhout N and de Vink E Delegation modeling with paradigm Proceedings of the 7th international conference on Coordination Models and Languages, (94-108)
  361. Rountev A, Kagan S and Sawin J Coverage criteria for testing of object interactions in sequence diagrams 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, (289-304)
  362. Manouselis N and Costopoulou C (2005). Designing an Internet-based directory service for e-markets, Information Services and Use, 25:2, (95-107), Online publication date: 1-Apr-2005.
  363. ACM
    McIntosh P, Hamilton M and van Schyndel R X3D-UML Proceedings of the tenth international conference on 3D Web technology, (135-142)
  364. da Silva J, Times V, Fidalgo R and Barros R Providing geographic-multidimensional decision support over the web Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development, (477-488)
  365. ACM
    Song H and Leangsuksun C A framework for cluster availability specification and evaluation Proceedings of the 43rd annual ACM Southeast Conference - Volume 1, (202-203)
  366. ACM
    Zhou Y and Xu B Measuring structural complexity for class diagrams Proceedings of the 2005 ACM symposium on Applied computing, (1679-1683)
  367. ACM
    Cao F, Bryant B, Zhao W, Burt C, Raje R, Olson A and Auguston M Marshaling and unmarshaling models using the entity-relationship model Proceedings of the 2005 ACM symposium on Applied computing, (1553-1557)
  368. ACM
    Truong N and Souquieres J Verification of behavioural elements of UML models using B Proceedings of the 2005 ACM symposium on Applied computing, (1546-1552)
  369. ACM
    Blake M, Cleary K, Ranjan S, Ibanez L and Gary K Use case-driven component specification Proceedings of the 2005 ACM symposium on Applied computing, (1470-1477)
  370. ACM
    Cazzola W, Pini S and Ancona M AOP for software evolution Proceedings of the 2005 ACM symposium on Applied computing, (1346-1350)
  371. ACM
    Signorini J and Greussay P Object-oriented wound healing in the liver Proceedings of the 2005 ACM symposium on Applied computing, (165-171)
  372. Yusof M, Ramly R, Ng K, Yeoh E, Salim R and Elandy K Object-oriented approach in developing knowledge base for a multimedia e-learning system Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics, (287-292)
  373. ACM
    Bose R and Frew J (2005). Lineage retrieval for scientific data processing: a survey, ACM Computing Surveys, 37:1, (1-28), Online publication date: 1-Mar-2005.
  374. 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.
  375. Penix J, Visser W, Park S, Pasareanu C, Engstrom E, Larson A and Weininger N (2005). Verifying Time Partitioning in the DEOS Scheduling Kernel, Formal Methods in System Design, 26:2, (103-135), Online publication date: 1-Mar-2005.
  376. ACM
    Pavlov V and Yatsenko A "The Babel experiment" Proceedings of the 36th SIGCSE technical symposium on Computer science education, (231-235)
  377. ACM
    Marlowe T, Ku C and Benham J Design patterns for database pedagogy Proceedings of the 36th SIGCSE technical symposium on Computer science education, (48-52)
  378. ACM
    Pavlov V and Yatsenko A (2005). "The Babel experiment", ACM SIGCSE Bulletin, 37:1, (231-235), Online publication date: 23-Feb-2005.
  379. ACM
    Marlowe T, Ku C and Benham J (2005). Design patterns for database pedagogy, ACM SIGCSE Bulletin, 37:1, (48-52), Online publication date: 23-Feb-2005.
  380. Alur R, Etessami K and Yannakakis M (2005). Realizability and verification of MSC graphs, Theoretical Computer Science, 331:1, (97-114), Online publication date: 15-Feb-2005.
  381. Sibertin-Blanc C, Tahir O and Cardoso J Interpretation of UML sequence diagrams as causality flows Proceedings of the 5th international conference on Advanced Distributed Systems, (126-140)
  382. Mosk-Aoyama D and Yannakakis M Testing hierarchical systems Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, (1126-1135)
  383. ACM
    Brisolara L, Becker L, Carro L, Wagner F, Pereira C and Reis R Comparing high-level modeling approaches for embedded system design Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (986-989)
  384. Jisa D (2005). An approach based on genetic algorithms for clustering classes in components, Acta Cybernetica, 17:2, (273-287), Online publication date: 10-Jan-2005.
  385. Maydl W and Grunske L Behavioral types for embedded software Component-Based Software Development for Embedded Systems, (82-106)
  386. da Silva L and Perkusich A A model-based approach to formal specification and verification of embedded systems using colored petri nets Component-Based Software Development for Embedded Systems, (35-58)
  387. Tryfona N and Pfoser D Data semantics in location-based services Journal on Data Semantics III, (168-195)
  388. Kulesza U, Garcia A, Lucena C and Alencar P A generative approach for multi-agent system development Software Engineering for Multi-Agent Systems III, (52-69)
  389. Ribeiro L, Dotti F and Bardohl R A formal framework for the development of concurrent object-based systems Formal Methods in Software and Systems Modeling, (385-401)
  390. Mendes E and Mosley N (2005). Does the linear size adjustment to estimated effort improve web applications effort estimation accuracy?, Journal of Computational Methods in Sciences and Engineering, 5:1 Supplement, (171-184), Online publication date: 1-Jan-2005.
  391. Proper H, Verrijn-Stuart A and Hoppenbrouwers S On utility-based selection of architecture-modelling concepts Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43, (25-34)
  392. Cortellessa V, Goseva-Popstojanova K, Appukkutty K, Guedem A, Hassan A, Elnaggar R, Abdelmoez W and Ammar H (2005). Model-Based Performance Risk Analysis, IEEE Transactions on Software Engineering, 31:1, (3-20), Online publication date: 1-Jan-2005.
  393. Tong W, Luo Q, Yin Z, Zhi X and Zong Y Component-based integration towards a frequency-regulating home appliance control system Proceedings of the First international conference on Embedded Software and Systems, (118-123)
  394. Jacobs P and Verbraeck A Single-threaded specification of process-interaction formalism in Java Proceedings of the 36th conference on Winter simulation, (1548-1555)
  395. Konrad S, Cheng B and Campbell L (2004). Object Analysis Patterns for Embedded Systems, IEEE Transactions on Software Engineering, 30:12, (970-992), Online publication date: 1-Dec-2004.
  396. Tanaka K, Sato J, Guo J, Takada A and Yoshihara H (2004). A Simulation Model of Hospital Management Based on Cost Accounting Analysis According to Disease, Journal of Medical Systems, 28:6, (689-710), Online publication date: 1-Dec-2004.
  397. Pintér G and Majzik I Modeling and analysis of exception handling by using UML statecharts Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications, (58-67)
  398. ACM
    Kaabi R, Souveyet C and Rolland C Eliciting service composition in a goal driven manner Proceedings of the 2nd international conference on Service oriented computing, (308-315)
  399. ACM
    Schank P and Hamel L Collaborative modeling Proceedings of the 2004 ACM conference on Computer supported cooperative work, (574-577)
  400. ACM
    Wongthongtham P, Chang E and Dillon T Ontology-based multi-agent system to multi-site software development Proceedings of the 2004 workshop on Quantitative techniques for software agile process, (66-75)
  401. ACM
    Hsi I Measuring the conceptual fitness of an application in a computing ecosystem Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research, (27-36)
  402. Liu Z, Jifeng H and Li X rCOS Proceedings of the Third international conference on Formal Methods for Components and Objects, (183-221)
  403. Liu Z, He J, Liu J and Li X (2004). Unifying Views of UML, Electronic Notes in Theoretical Computer Science (ENTCS), 101:C, (95-127), Online publication date: 1-Nov-2004.
  404. Chae H, Kwon Y and Bae D (2004). Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables, IEEE Transactions on Software Engineering, 30:11, (826-832), Online publication date: 1-Nov-2004.
  405. Briand L, Di Penta M and Labiche Y (2004). Assessing and Improving State-Based Class Testing, IEEE Transactions on Software Engineering, 30:11, (770-793), Online publication date: 1-Nov-2004.
  406. Hollink L, Schreiber A, Wielinga B and Worring M (2004). Classification of user image descriptions, International Journal of Human-Computer Studies, 61:5, (601-626), Online publication date: 1-Nov-2004.
  407. Graw G and Herrmann P (2004). Transformation and Verification of Executable UML Models, Electronic Notes in Theoretical Computer Science (ENTCS), 101, (3-24), Online publication date: 1-Nov-2004.
  408. Wiering M, Bonsangue M, van Buuren R, Groenewegen L, Jonkers H and Lankhorst M (2004). Investigating the mapping of an Enterprise Description Language into UML 2.0, Electronic Notes in Theoretical Computer Science (ENTCS), 101, (155-179), Online publication date: 1-Nov-2004.
  409. ACM
    Doan T, Demurjian S, Ting T and Ketterl A MAC and UML for secure software design Proceedings of the 2004 ACM workshop on Formal methods in security engineering, (75-85)
  410. ACM
    Tabrizi M, Collins C, Ozan E and Li K Implementation of object-orientation using UML in entry level software development courses Proceedings of the 5th conference on Information technology education, (128-131)
  411. ACM
    Fenstermacher K If i had a model, i'd model in the mornin' Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (88-95)
  412. ACM
    Law E and Hvannberg E Analysis of strategies for improving and estimating the effectiveness of heuristic evaluation Proceedings of the third Nordic conference on Human-computer interaction, (241-250)
  413. Alonso F, Frutos S, Martínez L and Montes C SONIA Proceedings of the 5th international conference on Engineering Societies in the Agents World, (245-260)
  414. Ingalsbe J Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams UML Modeling Languages and Applications, (105-117)
  415. Ingalsbe J Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams Proceedings of the 2004 international conference on UML Modeling Languages and Applications, (105-117)
  416. Cho E, Kim Y, Moon C and Baik D Design and implementation of an SSL component based on CBD Proceedings of the Third Asian simulation conference on Systems Modeling and Simulation: theory and applications, (478-486)
  417. ACM
    McDougall M, Alur R and Gunter C A model-based approach to integrating security policies for embedded devices Proceedings of the 4th ACM international conference on Embedded software, (211-219)
  418. ACM
    Donlin A Transaction level modeling Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (75-80)
  419. ACM
    Chatziantoniou D and Anagnostopoulos A (2004). NESTREAM, ACM SIGMOD Record, 33:3, (71-78), Online publication date: 1-Sep-2004.
  420. Eiglsperger M, Gutwenger C, Kaufmann M, Kupke J, Jünger M, Leipert S, Klein K, Mutzel P and Siebenhaller M (2004). Automatic layout of UML class diagrams in orthogonal style, Information Visualization, 3:3, (189-208), Online publication date: 1-Sep-2004.
  421. O'Neill I, Hanna P, Liu X and McTear M The Queen's agents Proceedings of the 20th international conference on Computational Linguistics, (127-es)
  422. Arisholm E, Briand L and Foyen A (2004). Dynamic Coupling Measurement for Object-Oriented Software, IEEE Transactions on Software Engineering, 30:8, (491-506), Online publication date: 1-Aug-2004.
  423. Odell J, Nodine M and Levy R A metamodel for agents, roles, and groups Proceedings of the 5th international conference on Agent-Oriented Software Engineering, (78-92)
  424. Cabac L and Moldt D Formal semantics for AUML agent interaction protocol diagrams Proceedings of the 5th international conference on Agent-Oriented Software Engineering, (47-61)
  425. ACM
    Lerner B Verifying process models built using parameterized state machines Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (274-284)
  426. ACM
    Bowring J, Rehg J and Harrold M Active learning for automatic classification of software behavior Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (195-205)
  427. Dittmar A, Forbrig P, Heftberger S and Stary C Support for task modeling Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems, (59-76)
  428. ACM
    Lerner B (2004). Verifying process models built using parameterized state machines, ACM SIGSOFT Software Engineering Notes, 29:4, (274-284), Online publication date: 1-Jul-2004.
  429. ACM
    Bowring J, Rehg J and Harrold M (2004). Active learning for automatic classification of software behavior, ACM SIGSOFT Software Engineering Notes, 29:4, (195-205), Online publication date: 1-Jul-2004.
  430. Huget M (2004). Agent UML Notation for Multiagent System Design, IEEE Internet Computing, 8:4, (63-71), Online publication date: 1-Jul-2004.
  431. Baião F, Mattoso M and Zaverucha G (2004). A Distribution Design Methodology for Object DBMS, Distributed and Parallel Databases, 16:1, (45-90), Online publication date: 1-Jul-2004.
  432. Da Silva V and De Lucena C (2004). From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language, Autonomous Agents and Multi-Agent Systems, 9:1-2, (145-189), Online publication date: 1-Jul-2004.
  433. ACM
    Jisa D Component based development methods Proceedings of the 5th international conference on Computer systems and technologies, (1-6)
  434. Huh S and Kim H (2004). A real-time synchronization mechanism for collaborative model management, Decision Support Systems, 37:3, (315-330), Online publication date: 1-Jun-2004.
  435. Chung L and Supakkul S Representing NFRs and FRs Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (29-41)
  436. Lynch A, Flango D, Smith R and Lang M (2004). Experiences of using rational rose/visio for UML modeling in an undergraduate software engineering course, Journal of Computing Sciences in Colleges, 19:5, (353-356), Online publication date: 1-May-2004.
  437. Cahon S, Melab N and Talbi E (2004). ParadisEO, Journal of Heuristics, 10:3, (357-380), Online publication date: 1-May-2004.
  438. Bresciani P, Perini A, Giorgini P, Giunchiglia F and Mylopoulos J (2004). Tropos, Autonomous Agents and Multi-Agent Systems, 8:3, (203-236), Online publication date: 1-May-2004.
  439. Cahon S, Melab N and Talbi E (2004). Building with paradisEO reusable parallel and distributed evolutionary algorithms, Parallel Computing, 30:5-6, (677-697), Online publication date: 1-May-2004.
  440. Dahchour M, Pirotte A and Zimányi E (2004). A role model and its metaclass implementation, Information Systems, 29:3, (235-270), Online publication date: 1-May-2004.
  441. ACM
    Zhang J, Chung J and Chang C Towards increasing web application productivity Proceedings of the 2004 ACM symposium on Applied computing, (1677-1681)
  442. ACM
    Signorini J and Greussay P Object-oriented design for the specification of the blood clotting cascade Proceedings of the 2004 ACM symposium on Applied computing, (207-208)
  443. Pokozy-Korenblat K, Priami C and Quaglia P Performance Analysis of a UML Micro-business Case Study IST/FET International Workshop on Global Computing - Volume 3267, (107-126)
  444. ACM
    Ventura P and Ramamurthy B Wanted Proceedings of the 35th SIGCSE technical symposium on Computer science education, (240-244)
  445. ACM
    Bartlett R, Waanders B and Heroux M (2004). Vector reduction/transformation operators, ACM Transactions on Mathematical Software, 30:1, (62-85), Online publication date: 1-Mar-2004.
  446. ACM
    Ventura P and Ramamurthy B (2004). Wanted, ACM SIGCSE Bulletin, 36:1, (240-244), Online publication date: 1-Mar-2004.
  447. Oliveira T, Alencar P, Filho I, de Lucena C and Cowan D (2004). Software Process Representation and Analysis for Framework Instantiation, IEEE Transactions on Software Engineering, 30:3, (145-159), Online publication date: 1-Mar-2004.
  448. Rossi C, Enciso M and De Guzmán I (2004). Formalization of UML state machines using temporal logic, Software and Systems Modeling (SoSyM), 3:1, (31-54), Online publication date: 1-Mar-2004.
  449. Hungerford B, Hevner A and Collins R (2004). Reviewing Software Diagrams, IEEE Transactions on Software Engineering, 30:2, (82-96), Online publication date: 1-Feb-2004.
  450. Damasevicius R and Stuikys V Application of UML for hardware design based on design process model Proceedings of the 2004 Asia and South Pacific Design Automation Conference, (244-249)
  451. Matsumoto T, Wada Y, Norimatsu M and Okude N Smart-Media Applications Created by Scenario Based Modeling Proceedings of the 2004 Symposium on Applications and the Internet-Workshops (SAINT 2004 Workshops)
  452. ACM
    Billard E Operating system scenarios as Use Case Maps Proceedings of the 4th international workshop on Software and performance, (266-277)
  453. ACM
    Alsaadi A A performance analysis approach based on the UML class diagram Proceedings of the 4th international workshop on Software and performance, (254-260)
  454. ACM
    Das O and Woodside C Computing the performability of layered distributed systems with a management architecture Proceedings of the 4th international workshop on Software and performance, (174-185)
  455. ACM
    Denaro G, Polini A and Emmerich W Early performance testing of distributed software applications Proceedings of the 4th international workshop on Software and performance, (94-103)
  456. ACM
    Dubois E, Gray P, Trevisan D and Vanderdonckt J Exploring the design and engineering of mixed reality systems Proceedings of the 9th international conference on Intelligent user interfaces, (374-375)
  457. ACM
    Billard E (2004). Operating system scenarios as Use Case Maps, ACM SIGSOFT Software Engineering Notes, 29:1, (266-277), Online publication date: 1-Jan-2004.
  458. ACM
    Alsaadi A (2004). A performance analysis approach based on the UML class diagram, ACM SIGSOFT Software Engineering Notes, 29:1, (254-260), Online publication date: 1-Jan-2004.
  459. ACM
    Das O and Woodside C (2004). Computing the performability of layered distributed systems with a management architecture, ACM SIGSOFT Software Engineering Notes, 29:1, (174-185), Online publication date: 1-Jan-2004.
  460. ACM
    Denaro G, Polini A and Emmerich W (2004). Early performance testing of distributed software applications, ACM SIGSOFT Software Engineering Notes, 29:1, (94-103), Online publication date: 1-Jan-2004.
  461. ACM
    Gröger G and Plümer L Exploiting 2D concepts to achieve consistency in 3D GIS applications Proceedings of the 11th ACM international symposium on Advances in geographic information systems, (78-85)
  462. Gervais M (2003). ODAC, Autonomous Agents and Multi-Agent Systems, 7:3, (199-228), Online publication date: 1-Nov-2003.
  463. ACM
    Alghathbar K and Wijesekera D authUML Proceedings of the 2003 ACM workshop on Formal methods in security engineering, (77-86)
  464. ACM
    Ramírez L and Vega Fernández J Reuse of teaching components Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (184-186)
  465. ACM
    McCoy J Requirements use case tool (RUT) Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (104-105)
  466. ACM
    Blake M Enterprise data management in research organizations Proceedings of the 2003 conference on Diversity in computing, (55-64)
  467. Turner C, Graham T, Wolfe C, Ball J, Holman D, Stewart H and Ryman A Visual constraint diagrams Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (271-276)
  468. ACM
    Bianchini C Intelligent management of network devices aided by a strategy and a tool Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research, (141-151)
  469. Flake S and Mueller W (2003). Formal semantics of static and temporal state-oriented OCL constraints, Software and Systems Modeling (SoSyM), 2:3, (164-186), Online publication date: 1-Oct-2003.
  470. Kansomkeat S and Rivepiboon W Automated-generating test case using UML statechart diagrams Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (296-300)
  471. ACM
    Ran A and Lencevicius R (2003). Making sense of runtime architecture for mobile phone software, ACM SIGSOFT Software Engineering Notes, 28:5, (367-370), Online publication date: 1-Sep-2003.
  472. ACM
    Ran A and Lencevicius R Making sense of runtime architecture for mobile phone software Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (367-370)
  473. ACM
    Agarwal R and Sinha A (2003). Object-oriented modeling with UML, Communications of the ACM, 46:9, (248-256), Online publication date: 1-Sep-2003.
  474. ACM
    Mendes E, Mosley N and Counsell S Do adaptation rules improve web cost estimation? Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, (173-183)
  475. Hammond T and Davis R LADDER Proceedings of the 18th international joint conference on Artificial intelligence, (461-467)
  476. Dunsmore A, Roper M and Wood M (2003). The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection, IEEE Transactions on Software Engineering, 29:8, (677-686), Online publication date: 1-Aug-2003.
  477. ACM
    Alur R, Ivancic F, Kim J, Lee I and Sokolsky O (2003). Generating embedded software from hierarchical hybrid models, ACM SIGPLAN Notices, 38:7, (171-182), Online publication date: 11-Jul-2003.
  478. Di Gaspero L and Schaerf A (2003). EasyLocal++, Software—Practice & Experience, 33:8, (733-765), Online publication date: 10-Jul-2003.
  479. Matera M, Maurino A, Ceri S and Fraternali P (2003). Model-driven design of collaborative web applications, Software—Practice & Experience, 33:8, (701-732), Online publication date: 10-Jul-2003.
  480. Briand L, Labiche Y and Wang Y (2003). An Investigation of Graph-Based Class Integration Test Order Strategies, IEEE Transactions on Software Engineering, 29:7, (594-607), Online publication date: 1-Jul-2003.
  481. Sandén B (2003). Entity-Life Modeling, IEEE Software, 20:4, (70-78), Online publication date: 1-Jul-2003.
  482. Dunsmore A, Roper M and Wood M (2003). Practical Code Inspection Techniques for Object-Oriented Systems, IEEE Software, 20:4, (21-29), Online publication date: 1-Jul-2003.
  483. La Torre S, Napoli M, Parente M and Parlato G Hierarchical and recursive state machines with context-dependent properties Proceedings of the 30th international conference on Automata, languages and programming, (776-789)
  484. Djurić D, Gašević D, Devedžić V and Damjanović V A UML profile for OWL ontologies Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications, (204-219)
  485. Tekinerdoğan B, Bilir S and Abatlevi C Integrating platform selection rules in the model driven architecture approach Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications, (159-173)
  486. Cabac L, Moldt D and Rölke H A proposal for structuring Petri net-based agent interaction protocols Proceedings of the 24th international conference on Applications and theory of Petri nets, (102-120)
  487. Verbeek H and Basten T Deciding life-cycle inheritance on Petri nets Proceedings of the 24th international conference on Applications and theory of Petri nets, (44-63)
  488. ACM
    Gotseva D MS Word macro language extension Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning, (226-229)
  489. O'Neill I, Hanna P, Liu X and Greer D A Java implementation of cross-domain mixed initiative spoken dialogue management Proceedings of the 2nd international conference on Principles and practice of programming in Java, (95-98)
  490. Moreira A, Fiadeiro J and Andrade L Evolving requirements through coordination contracts Proceedings of the 15th international conference on Advanced information systems engineering, (633-646)
  491. Nikolaidou M and Anagnostopoulos D Exploring web-based information system design Proceedings of the 15th international conference on Advanced information systems engineering, (159-174)
  492. ACM
    Alur R, Ivancic F, Kim J, Lee I and Sokolsky O Generating embedded software from hierarchical hybrid models Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (171-182)
  493. ACM
    Eiglsperger M, Kaufmann M and Siebenhaller M A topology-shape-metrics approach for the automatic layout of UML class diagrams Proceedings of the 2003 ACM symposium on Software visualization, (189-ff)
  494. ACM
    Gutwenger C, Jünger M, Klein K, Kupke J, Leipert S and Mutzel P A new approach for visualizing UML class diagrams Proceedings of the 2003 ACM symposium on Software visualization, (179-188)
  495. ACM
    Damaševičius R, Majauskas G and Štuikys V Application of design patterns for hardware design Proceedings of the 40th annual Design Automation Conference, (48-53)
  496. Bulka A Design pattern automation Proceedings of the 2002 conference on Pattern languages of programs - Volume 13, (1-10)
  497. Zhu Q, Gonçalves M and Fox E 5SGraph demo Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries, (385-385)
  498. Dedek C, Sohn D, Niete M, Winkler S and Spall A Developing testable web-applications with bugkilla Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (322-324)
  499. Pinna S, Mauri S, Lorrai P, Marchesi M and Serra N XPSwiki Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (104-113)
  500. Westfechtel B and Conradi R Software architecture and software configuration management Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management, (24-39)
  501. Konrad S, Campbell L, Cheng B and Deng M A requirements patterns-driven approach to specify systems and check properties Proceedings of the 10th international conference on Model checking software, (18-33)
  502. van Lamsweerde A Goal-oriented requirements engineering Proceedings of the 25th International Conference on Software Engineering, (744-745)
  503. Marburger A and Westfechtel B Tools for understanding the behavior of telecommunication systems Proceedings of the 25th International Conference on Software Engineering, (430-441)
  504. Ray A and Cleaveland R Architectural Interaction Diagrams Proceedings of the 25th International Conference on Software Engineering, (396-406)
  505. Eden A and Kazman R Architecture, design, implementation Proceedings of the 25th International Conference on Software Engineering, (149-159)
  506. Barbier F, Henderson-Sellers B, Le Parc-Lacayrelle A and Bruel J (2003). Formalization of the Whole-Part Relationship in the Unified Modeling Language, IEEE Transactions on Software Engineering, 29:5, (459-470), Online publication date: 1-May-2003.
  507. Yablonsky S Russian morphology Proceedings of the 2003 EACL Workshop on Morphological Processing of Slavic Languages, (87-94)
  508. Tenzer J and Stevens P Modelling recursive calls with UML state diagrams Proceedings of the 6th international conference on Fundamental approaches to software engineering, (135-149)
  509. Altenschmidt C, Biskup J, Flegel U and Karabulut Y (2003). Secure mediation, Journal of Computer Security, 11:3, (365-398), Online publication date: 1-Apr-2003.
  510. Grassi V and Mirandola R (2003). Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing, IEEE Transactions on Mobile Computing, 2:2, (114-131), Online publication date: 1-Apr-2003.
  511. ACM
    Blake M An architecture to support distributed data retrieval in specialized formats Proceedings of the 2003 ACM symposium on Applied computing, (803-810)
  512. ACM
    Hassell L and Holmes J Modeling the workflow of prescription writing Proceedings of the 2003 ACM symposium on Applied computing, (235-239)
  513. ACM
    Capretz L (2003). A brief history of the object-oriented approach, ACM SIGSOFT Software Engineering Notes, 28:2, (6), Online publication date: 1-Mar-2003.
  514. Bianchi A, Caivano D, Marengo V and Visaggio G (2003). Iterative Reengineering of Legacy Systems, IEEE Transactions on Software Engineering, 29:3, (225-241), Online publication date: 1-Mar-2003.
  515. Lauesen S (2003). Task Descriptions as Functional Requirements, IEEE Software, 20:2, (58-65), Online publication date: 1-Mar-2003.
  516. Dogru A and Tanik M (2003). A Process Model for Component-Oriented Software Engineering, IEEE Software, 20:2, (34-41), Online publication date: 1-Mar-2003.
  517. Carreira P and Costa M (2003). Automatically verifying an object-oriented specification of the steam-boiler system, Science of Computer Programming, 46:3, (197-217), Online publication date: 1-Mar-2003.
  518. Escalona M and Koch N (2003). Requirements engineering for web applications, Journal of Web Engineering, 2:3, (193-212), Online publication date: 1-Feb-2003.
  519. Manzoni L and Price R (2003). Identifying Extensions Required by RUP (Rational Unified Process) to Comply with CMM (Capability Maturity Model) Levels 2 and 3, IEEE Transactions on Software Engineering, 29:2, (181-192), Online publication date: 1-Feb-2003.
  520. Egyed A (2003). A Scenario-Driven Approach to Trace Dependency Analysis, IEEE Transactions on Software Engineering, 29:2, (116-132), Online publication date: 1-Feb-2003.
  521. ACM
    Kawaguchi A Capturing and analyzing requirement Proceedings of the 2003 Asia and South Pacific Design Automation Conference, (677-682)
  522. Stytz M and Banks S An architecture to address uncertain requirements and composability for intelligent agents in distributed simulations Design and application of hybrid intelligent systems, (749-758)
  523. Dobing B and Parsons J The role of use cases in the UML Advanced topics in database research vol. 1, (367-382)
  524. Price R, Tryfona N and Jensen C Extending UML for space- and time-dependent applications Advanced topics in database research vol. 1, (342-366)
  525. Whittle J Formal approaches to systems analysis using UML Advanced topics in database research vol. 1, (324-341)
  526. Halpin T Information analysis in UML and ORM Advanced topics in database research vol. 1, (307-323)
  527. Siau K and Cao Q How complex is the unified modeling language? Advanced topics in database research vol. 1, (294-306)
  528. Shoval P and Kabeli J FOOM-functional and object-oriented methodology for analysis and design of information systems Advanced topics in database research vol. 1, (58-86)
  529. Balaban M and Shoval P Enforcing cardinality constraints in the ER model with integrity methods Advanced topics in database research vol. 1, (1-16)
  530. Yen V Systems analysis with workflow modeling Technologies & methodologies for evaluating information technology in business, (143-159)
  531. Snoeck M Sequence constraints in business modelling and business process modelling Enterprise information systems IV, (194-201)
  532. Edwards M and Green P UML for hardware and software object modeling UML for real, (127-147)
  533. Hung P and Karlapalem K A secure workflow model Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21, (33-41)
  534. Charest L, El Aboulhamid M and Bois G Applying multi-paradigm and design pattern approaches to hardware/software design and reuse Patterns and skeletons for parallel and distributed computing, (297-325)
  535. Benatallah B, Dumas M, Fauvet M and Rabhi F Towards patterns of web services composition Patterns and skeletons for parallel and distributed computing, (265-296)
  536. Silva O, Garcia A and Lucena C The reflective blackboard pattern: architecting large multi-agent systems Software engineering for large-scale multi-agent systems, (73-93)
  537. 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)
  538. Ricca F and Tonella P (2002). Testing Processes of Web Applications, Annals of Software Engineering, 14:1-4, (93-114), Online publication date: 10-Dec-2002.
  539. Reis R, Reis C, Schlebbe H and José nunes D (2002). Automatic Verification of Static Policies on Software Process Models, Annals of Software Engineering, 14:1-4, (197-234), Online publication date: 10-Dec-2002.
  540. Lee S, Ramakrishnan S and Wysk R General methodology 3 Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (1986-1994)
  541. Pllana S and Fahringer T Parallel and distributed systems Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (497-505)
  542. ACM
    Hevner A, Collins R and Garfield M (2002). Product and project challenges in electronic commerce software development, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 33:4, (10-22), Online publication date: 6-Dec-2002.
  543. Hoenicke J and Olderog E (2002). CSP-OZ-DC, Nordic Journal of Computing, 9:4, (301-334), Online publication date: 1-Dec-2002.
  544. Virvou M and Kabassi K (2002). Reasoning about users'actions in a graphical user interface, Human-Computer Interaction, 17:4, (369-398), Online publication date: 1-Dec-2002.
  545. ACM
    Sakkopoulos E and Tsakalidis A Utilizing complementary know-how Proceedings of the 30th annual ACM SIGUCCS conference on User services, (122-129)
  546. ACM
    Soares S, Laureano E and Borba P (2002). Implementing distribution and persistence aspects with aspectJ, ACM SIGPLAN Notices, 37:11, (174-190), Online publication date: 17-Nov-2002.
  547. ACM
    Vassiliadis P, Simitsis A and Skiadopoulos S Conceptual modeling for ETL processes Proceedings of the 5th ACM international workshop on Data Warehousing and OLAP, (14-21)
  548. ACM
    Perez-Gonzalez H and Kalita J Automatically generating object models from natural language analysis Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (86-87)
  549. ACM
    Perez-Gonzalez H and Kalita J GOOAL Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (38-39)
  550. ACM
    Conroy D The use of domain level semantics to support unanticipated system adaptation Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (4-5)
  551. ACM
    Soares S, Laureano E and Borba P Implementing distribution and persistence aspects with aspectJ Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (174-190)
  552. Chen J and Subramaniam S (2002). Specification-based Testing for Gui-based Applications, Software Quality Journal, 10:3, (205-224), Online publication date: 1-Nov-2002.
  553. Holderfield V and Huhns M A foundational analysis of software robustness using redundant agent collaboration Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services, (355-369)
  554. Bryson J The behavior-oriented design of modular agent intelligence Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services, (61-76)
  555. Jennings N Building automated negotiators Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services, (19-19)
  556. Huhns M Software agents Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services, (1-18)
  557. Tonella P and Ricca F Dynamic Model Extraction and Statistical Analysis of Web Applications Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
  558. Aggarwal V (2002). The Application of the Unified Modeling Language in Object-Oriented Analysis of Healthcare Information Systems, Journal of Medical Systems, 26:5, (383-397), Online publication date: 1-Oct-2002.
  559. Janka R, Wills L and Baumstark L (2002). Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing Systems, IEEE Transactions on Software Engineering, 28:9, (832-846), Online publication date: 1-Sep-2002.
  560. Montilva J, Sandia B and Barrios J (2002). Developing Instructional Web Sites – A Software Engineering Approach, Education and Information Technologies, 7:3, (201-224), Online publication date: 1-Sep-2002.
  561. Snoeck M and Michiels C (2002). Domain Modelling and the Co-Design of Business Rules in the Telecommunication Business Area, Information Systems Frontiers, 4:3, (331-342), Online publication date: 1-Sep-2002.
  562. Purchase H, Carrington D and Allder J (2002). Empirical Evaluation of Aesthetics-based Graph Layout, Empirical Software Engineering, 7:3, (233-255), Online publication date: 1-Sep-2002.
  563. Behrmann G, Larsen K, Andersen H, Hulgaard H and Lind-Nielsen J (2002). Verification of Hierarchical State/Event Systems using Reusability and Compositionality, Formal Methods in System Design, 21:2, (225-244), Online publication date: 1-Sep-2002.
  564. Castro J, Kolp M and Mylopoulos J (2002). Towards requirements-driven information systems engineering, Information Systems, 27:6, (365-389), Online publication date: 1-Sep-2002.
  565. ACM
    Grassi V and Mirandola R PRIMAmob-UML Proceedings of the 3rd international workshop on Software and performance, (262-274)
  566. ACM
    Jin D and Levy D An approach to schedulability analysis of UML-based real-time systems design Proceedings of the 3rd international workshop on Software and performance, (243-250)
  567. ACM
    Williams L and Smith C PASASM Proceedings of the 3rd international workshop on Software and performance, (179-189)
  568. ACM
    Bechini A, Foglia P and Prete C Use of a CORBA/RMI gateway Proceedings of the 3rd international workshop on Software and performance, (150-157)
  569. ACM
    Lindemann C, Thümmler A, Klemm A, Lohmann M and Waldhorst O Performance analysis of time-enhanced UML diagrams based on stochastic processes Proceedings of the 3rd international workshop on Software and performance, (25-34)
  570. ACM
    Petriu D and Woodside M Analysing software requirements specifications for performance Proceedings of the 3rd international workshop on Software and performance, (1-9)
  571. Marietto M, David N, Sichman J and Coelho H Requirements analysis of agent-based simulation platforms Proceedings of the 3rd international conference on Multi-agent-based simulation II, (125-141)
  572. Huget M Extending agent UML sequence diagrams Proceedings of the 3rd international conference on Agent-oriented software engineering III, (150-161)
  573. Griss M, Fonseca S, Cowan D and Kessler R Using UML state machine models for more precise and flexible JADE agent behaviors Proceedings of the 3rd international conference on Agent-oriented software engineering III, (113-125)
  574. ACM
    Fresa A, Nucera G, Peciola E and Santucci G Assessment of software architectures Proceedings of the 14th international conference on Software engineering and knowledge engineering, (699-706)
  575. ACM
    Best C, Storey M and Michaud J Designing a component-based framework for visualization in software engineering and knowledge engineering Proceedings of the 14th international conference on Software engineering and knowledge engineering, (323-326)
  576. ACM
    Bandini S, De Paoli F, Manzoni S and Mereghetti P A support system to COTS-based software development for business services Proceedings of the 14th international conference on Software engineering and knowledge engineering, (307-314)
  577. ACM
    Albalooshi F A database representation that improves automation and maintains consistency in a multiple view environment Proceedings of the 14th international conference on Software engineering and knowledge engineering, (281-288)
  578. ACM
    Ambriola V and Kmiecik A Architectural transformations Proceedings of the 14th international conference on Software engineering and knowledge engineering, (275-278)
  579. ACM
    Wang X, Chan C and Hamilton H Design of knowledge-based systems with the ontology-domain-system approach Proceedings of the 14th international conference on Software engineering and knowledge engineering, (233-236)
  580. ACM
    Sourrouille J and Caplat G Constraint checking in UML modeling Proceedings of the 14th international conference on Software engineering and knowledge engineering, (217-224)
  581. ACM
    Kolp M, Giorgini P and Mylopoulos J Information systems development through social structures Proceedings of the 14th international conference on Software engineering and knowledge engineering, (183-190)
  582. ACM
    Gonçalves M and Fox E 5SL Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries, (263-272)
  583. ACM
    Kouroupetroglou G and Pino A A new generation of communication aids under the ULYSSES component-based framework Proceedings of the fifth international ACM conference on Assistive technologies, (218-225)
  584. Green P, Edwards M and Essa S (2002). HASoC--Towards a New Method for System-on-a-Chip Development, Design Automation for Embedded Systems, 6:4, (333-353), Online publication date: 1-Jul-2002.
  585. Wyner G and Lee J (2002). Process Specialization, Computational & Mathematical Organization Theory, 8:2, (133-155), Online publication date: 1-Jul-2002.
  586. Blake M, Hamilton G and Hoyt J (2002). Using Component-Based Development and Web Technologies to Support a Distributed Data Management System, Annals of Software Engineering, 13:1-4, (13-34), Online publication date: 25-Jun-2002.
  587. Larsen G and Conallen J (2002). Engineering Web-Based Systems with UML Assets, Annals of Software Engineering, 13:1-4, (203-230), Online publication date: 25-Jun-2002.
  588. Rößler F, Geppert B and Gotzhein R CoSDL - an experimental language for collaboration specification Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC, (1-20)
  589. Jacquot J Which use for Java in introductory courses? Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (119-124)
  590. O'Neill I and Greer D Java for scientists -- fast! Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (113-118)
  591. ACM
    Neumann G and Strembeck M A scenario-driven role engineering process for functional RBAC roles Proceedings of the seventh ACM symposium on Access control models and technologies, (33-42)
  592. ACM
    Benatallah B, Dumas M, Fauvet M, Rabhi F and Sheng Q (2002). Overview of some patterns for architecting and managing composite web services, ACM SIGecom Exchanges, 3:3, (9-16), Online publication date: 1-Jun-2002.
  593. ACM
    Arondi S, Baroni P, Fogli D and Mussio P Supporting co-evolution of users and systems by the recognition of interaction patterns Proceedings of the Working Conference on Advanced Visual Interfaces, (177-186)
  594. Jadhav B Revolutionizing software development Proceedings of the 3rd international conference on Software engineering and middleware, (233-237)
  595. Anido L, Caeiro M, Rodriguez J and Santos J Modelling and specification of interfaces for standard-driven distributed software architectures in the e-learning domain Proceedings of the 3rd international conference on Software engineering and middleware, (68-89)
  596. ACM
    Greenhouse A and Scherlis W Assuring and evolving concurrent programs Proceedings of the 24th International Conference on Software Engineering, (453-463)
  597. ACM
    Dunsmore A, Roper M and Wood M Further investigations into the development and evaluation of reading techniques for object-oriented code inspection Proceedings of the 24th International Conference on Software Engineering, (47-57)
  598. ACM
    Woodside M, Petriu D and Siddiqui K Performance-related completions for software specifications Proceedings of the 24th International Conference on Software Engineering, (22-32)
  599. ACM
    Mendes E, Mosley N and Watson I A comparison of case-based reasoning approaches Proceedings of the 11th international conference on World Wide Web, (272-280)
  600. ACM
    Stein D, Hanenberg S and Unland R A UML-based aspect-oriented design notation for AspectJ Proceedings of the 1st international conference on Aspect-oriented software development, (106-112)
  601. ACM
    Shomrat M and Yehudai A Obvious or not? Proceedings of the 1st international conference on Aspect-oriented software development, (3-9)
  602. Johnsen E and Owe O Composition and Refinement for Partial Object Specifications Proceedings of the 16th International Parallel and Distributed Processing Symposium
  603. Trapp M, Schürmann B and Tetteroo T Failure Behavior Analysis for Reliable Distributed Embedded Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
  604. Markiewicz M, Lucena C and Cowan D (2002). Taming access control security, Software—Practice & Experience, 32:4, (341-358), Online publication date: 10-Apr-2002.
  605. ACM
    Stroulia E and Systä T (2002). Dynamic analysis for reverse engineering and program understanding, ACM SIGAPP Applied Computing Review, 10:1, (8-17), Online publication date: 1-Apr-2002.
  606. Milicev D (2002). Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments, IEEE Transactions on Software Engineering, 28:4, (413-431), Online publication date: 1-Apr-2002.
  607. Hrischuk C and Woodside C (2002). Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, 28:4, (321-339), Online publication date: 1-Apr-2002.
  608. Goswami D, Singh A and Preiss B (2002). From Design Patterns to Parallel Architectural Skeletons, Journal of Parallel and Distributed Computing, 62:4, (669-695), Online publication date: 1-Apr-2002.
  609. ACM
    Dascalu S and Hitchcock P An approach to integrating semi-formal and formal notations in software specification Proceedings of the 2002 ACM symposium on Applied computing, (1014-1020)
  610. ACM
    El-Ansary A Behavioral Pattern Analysis Proceedings of the 2002 ACM symposium on Applied computing, (984-991)
  611. ACM
    Young P, Berzins V, Ge J and Luqi Using an object oriented model for resolving representational differences between heterogeneous systems Proceedings of the 2002 ACM symposium on Applied computing, (976-983)
  612. Mok W (2002). A Comparative Study of Various Nested Normal Forms, IEEE Transactions on Knowledge and Data Engineering, 14:2, (369-385), Online publication date: 1-Mar-2002.
  613. Mills K and Gomaa H (2002). Knowledge-Based Automation of a Design Method for Concurrent Systems, IEEE Transactions on Software Engineering, 28:3, (228-255), Online publication date: 1-Mar-2002.
  614. Matzko S, Clarke P, Gibbs T, Malloy B, Power J and Monahan R Reveal Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (13-21)
  615. ACM
    Shirogane J and Fukazawa Y GUI prototype generation by merging use cases Proceedings of the 7th international conference on Intelligent user interfaces, (222-223)
  616. van der Aalst W and Basten T (2002). Inheritance of workflows, Theoretical Computer Science, 270:1-2, (125-203), Online publication date: 6-Jan-2002.
  617. Dahl O The roots of object orientation Software pioneers, (78-90)
  618. Dittrich K and Vaduva A Data and knowledge in database systems Handbook of data mining and knowledge discovery, (96-98)
  619. Engels G and Groenewegen L Towards team-automata-driven object-oriented collaborative work Formal and natural computing, (257-276)
  620. Deprettere E, Rijpkema E and Kienhuis B Translating imperative affine nested loop programs into process networks Embedded processor design challenges, (89-111)
  621. Routledge N, Bird L and Goodchild A (2002). UML and XML schema, Australian Computer Science Communications, 24:2, (157-166), Online publication date: 1-Jan-2002.
  622. Roantree M (2002). Metadata management in federated multimedia systems, Australian Computer Science Communications, 24:2, (147-155), Online publication date: 1-Jan-2002.
  623. Routledge N, Bird L and Goodchild A UML and XML schema Proceedings of the 13th Australasian database conference - Volume 5, (157-166)
  624. Roantree M Metadata management in federated multimedia systems Proceedings of the 13th Australasian database conference - Volume 5, (147-155)
  625. ACM
    Durán A, Ruiz A, Bernárdez B and Toro M (2002). Verifying software requirements with XSLT, ACM SIGSOFT Software Engineering Notes, 27:1, (39-44), Online publication date: 1-Jan-2002.
  626. ACM
    Lüttgen G and Mendler M (2002). The intuitionism behind Statecharts steps, ACM Transactions on Computational Logic, 3:1, (1-41), Online publication date: 1-Jan-2002.
  627. Dimitrov E, Schmietendorf A and Dumke R (2002). UML-Based Performance Engineering Possibilities and Techniques, IEEE Software, 19:1, (74-83), Online publication date: 1-Jan-2002.
  628. Port D and Dincel E (2001). Experiences Using Domain Specific Techniques within Multimedia Software Engineering, Annals of Software Engineering, 12:1, (11-45), Online publication date: 28-Dec-2001.
  629. Dwyer T Three dimensional UML using force directed layout Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9, (77-85)
  630. Sircar S, Nerur S and Mahapatra R (2001). Revolution or evolution?, MIS Quarterly, 25:4, (457-471), Online publication date: 1-Dec-2001.
  631. Westfechtel B, Munch B and Conradi R (2001). A Layered Architecture for Uniform Version Management, IEEE Transactions on Software Engineering, 27:12, (1111-1133), Online publication date: 1-Dec-2001.
  632. Egyed A and Balzer R Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability Proceedings of the 16th IEEE international conference on Automated software engineering
  633. Ledang H and Souquières J Modeling Class Operations in B Proceedings of the 16th IEEE international conference on Automated software engineering
  634. Grosu R, Liu Y, Smolka S, Stoller S and Yan J Automated Software Engineering Using Concurrent Class Machines Proceedings of the 16th IEEE international conference on Automated software engineering
  635. Alur R and Grosu R Shared Variables Interaction Diagrams Proceedings of the 16th IEEE international conference on Automated software engineering
  636. Ardourel G and Huchard M AGATE, Access Graph-Based Tools for Handling Encapsulation Proceedings of the 16th IEEE international conference on Automated software engineering
  637. Andrade L, Fiadeiro J and Wermelinger M Enforcing Business Policies Through Automated Reconfiguration Proceedings of the 16th IEEE international conference on Automated software engineering
  638. Lencevicius R, Metz E and Ran A Tracing Execution of Software for Design Coverage Proceedings of the 16th IEEE international conference on Automated software engineering
  639. ACM
    da Rocha L, Edelweiss N and Iochpe C GeoFrame-T Proceedings of the 9th ACM international symposium on Advances in geographic information systems, (124-129)
  640. ACM
    Friis-Christensen A, Tryfona N and Jensen C Requirements and research issues in geographic data modeling Proceedings of the 9th ACM international symposium on Advances in geographic information systems, (2-8)
  641. Aversano L, de Lucia A, Stefanucci S and Betti S Introducing Workflow Management in Software Maintenance Processes Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  642. He C and Ma C Measuring Behavioral Correspondence to a Timed Concurrent Model Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  643. de Lemos R Describing Evolving Dependable Systems using Co-operative Software Architectures Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  644. Armaroli C WebFabIS Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  645. Ricca F and Tonella P Web Application Slicing Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  646. Rayside D, Litoiu M, Storey M and Best C Integrating SHriMP with the IBM websphere studio workbench Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
  647. Sekaran K Development of a Link Layer Protocol Using UML Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
  648. Feng Q, Bai X, Cao Y, Jin Y and Huang T Model of Electric Market Operation Support System Based on UML Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
  649. ACM
    Lieberherr K, Orleans D and Ovlinger J (2001). Aspect-oriented programming with adaptive methods, Communications of the ACM, 44:10, (39-41), Online publication date: 1-Oct-2001.
  650. ACM
    Rajlich V Role of concepts in software evolution Proceedings of the 4th International Workshop on Principles of Software Evolution, (75-78)
  651. ACM
    Rodríguez-Fortiz M, Paderewski-Rodríguez P, Garcia-Cabrera L and Parets-Llorca J Evolutionary modelling of software systems Proceedings of the 4th International Workshop on Principles of Software Evolution, (62-69)
  652. Wakeling D A design methodology for functional programs Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation, (146-161)
  653. ACM
    Schmidt D Should UML be used for declarative programming? Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, (1-3)
  654. Shalyto A and Tukkel' N (2001). SWITCH Technology, Programming and Computing Software, 27:5, (260-276), Online publication date: 1-Sep-2001.
  655. ACM
    Filho W (2001). Requirements for an educational software development process, ACM SIGCSE Bulletin, 33:3, (65-68), Online publication date: 1-Sep-2001.
  656. Mecella M and Pernici B (2001). Designing wrapper components for e-services in integrating heterogeneous systems, The VLDB Journal — The International Journal on Very Large Data Bases, 10:1, (2-15), Online publication date: 1-Aug-2001.
  657. Sinnott R and Hogrefe D Finite state machine based Formal methods for distributed processing, (55-76)
  658. ACM
    Bakshi A, Prasanna V and Ledeczi A MILAN Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (82-93)
  659. ACM
    Bakshi A, Prasanna V and Ledeczi A MILAN Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (82-93)
  660. ACM
    Bakshi A, Prasanna V and Ledeczi A (2001). MILAN, ACM SIGPLAN Notices, 36:8, (82-93), Online publication date: 1-Aug-2001.
  661. ACM
    Merseguer J, Campos J and Mena E Performance analysis of internet based software retrieval systems using Petri Nets Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, (47-56)
  662. ACM
    Brown J and Johnston C Extending the value of prototypes with Panorama a tool to browse software artefacts Proceedings of the Symposium on Computer Human Interaction, (15-20)
  663. Campbell L Visualization and interpretation of analysis results within the context of formalized UML diagrams Proceedings of the 23rd International Conference on Software Engineering, (785-786)
  664. Gomaa H Designing concurrent, distributed, and real-time applications with UML Proceedings of the 23rd International Conference on Software Engineering, (737-738)
  665. Overmyer S, Lavoie B and Rambow O Conceptual modeling through linguistic analysis using LIDA Proceedings of the 23rd International Conference on Software Engineering, (401-410)
  666. Uchitel S and Kramer J A workbench for synthesising behaviour models from scenarios Proceedings of the 23rd International Conference on Software Engineering, (188-197)
  667. Kurt Stirewalt R and Dillon L A component-based approach to building formal analysis tools Proceedings of the 23rd International Conference on Software Engineering, (167-176)
  668. Ricca F and Tonella P Analysis and testing of Web applications Proceedings of the 23rd International Conference on Software Engineering, (25-34)
  669. ACM
    Markiewicz M and de Lucena C (2001). Object oriented framework development, XRDS: Crossroads, The ACM Magazine for Students, 7:4, (3-9), Online publication date: 1-Jul-2001.
  670. Damm W and Harel D (2001). LSCs, Formal Methods in System Design, 19:1, (45-80), Online publication date: 1-Jul-2001.
  671. ACM
    Filho W Requirements for an educational software development process Proceedings of the 6th annual conference on Innovation and technology in computer science education, (65-68)
  672. ACM
    El-Sayed H, Cameron D and Woodside M (2001). Automation support for software performance engineering, ACM SIGMETRICS Performance Evaluation Review, 29:1, (301-311), Online publication date: 1-Jun-2001.
  673. ACM
    El-Sayed H, Cameron D and Woodside M Automation support for software performance engineering Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (301-311)
  674. Handley H and Levis A (2001). A Model to Evaluate the Effect of Organizational Adaptation, Computational & Mathematical Organization Theory, 7:1, (5-44), Online publication date: 1-Jun-2001.
  675. ACM
    Bresciani P, Perini A, Giorgini P, Giunchiglia F and Mylopoulos J A knowledge level software engineering methodology for agent oriented programming Proceedings of the fifth international conference on Autonomous agents, (648-655)
  676. ACM
    Eckstein S, Ahlbrecht P and Neumann K Techniques and language constructs for developing generic informations systems Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (145-154)
  677. ACM
    Gomaa H, Menascé D and Shin M Reusable component interconnection patterns for distributed software architectures Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (69-77)
  678. Bose P and Matthews M Dynamic change in workflow-based coordination of distributed services Proceedings of the 2nd international conference on Self-adaptive software: applications, (171-186)
  679. He X and Ding Y Object orientation in hierarchical predicate transition nets Concurrent object-oriented programming and petri nets, (196-215)
  680. ACM
    Eckstein S, Ahlbrecht P and Neumann K (2001). Techniques and language constructs for developing generic informations systems, ACM SIGSOFT Software Engineering Notes, 26:3, (145-154), Online publication date: 1-May-2001.
  681. ACM
    Gomaa H, Menascé D and Shin M (2001). Reusable component interconnection patterns for distributed software architectures, ACM SIGSOFT Software Engineering Notes, 26:3, (69-77), Online publication date: 1-May-2001.
  682. ACM
    Martin G, Lavagno L and Louis-Guerin J Embedded UML Proceedings of the ninth international symposium on Hardware/software codesign, (23-28)
  683. Charest L, Reid M, Aboulhamid E and Bois G A methodology for interfacing open source systemC with a third party software Proceedings of the conference on Design, automation and test in Europe
  684. ACM
    Pastor O, Abrahão S and Fons J (2001). Building E-commerce applications from object-oriented conceptual models, ACM SIGecom Exchanges, 2:2, (28-36), Online publication date: 1-Mar-2001.
  685. Hars A (2001). Designing Scientific Knowledge Infrastructures, Information Systems Frontiers, 3:1, (63-73), Online publication date: 1-Mar-2001.
  686. ACM
    Park J, Sandhu R and Ahn G (2001). Role-based access control on the web, ACM Transactions on Information and System Security, 4:1, (37-71), Online publication date: 1-Feb-2001.
  687. Robey D, Welke R and Turk D (2001). Traditional, iterative, and component-based development, Information Technology and Management, 2:1, (53-70), Online publication date: 31-Jan-2001.
  688. Scogings C and Phillips C A method for the early stages of interactive system design using UML and Lean Cuisine+ Proceedings of the 2nd Australasian conference on User interface, (69-76)
  689. Scogings C and Phillips C (2001). A method for the early stages of interactive system design using UML and Lean Cuisine+, Australian Computer Science Communications, 23:5, (69-76), Online publication date: 25-Jan-2001.
  690. Bolignano D, Le Métayer D and Loiseaux C Formal methods in practice Modeling and verification of parallel processes, (169-180)
  691. Amnell T, Behrmann G, Bengtsson J, D'Argenio P, David A, Fehnker A, Hune T, Jeannet B, Larsen K, Möller M, Pettersson P, Weise C and Yi W UPPAAL Modeling and verification of parallel processes, (99-124)
  692. Merz S Model checking Modeling and verification of parallel processes, (3-38)
  693. Ahronovitz Y and Huchard M Exceptions in object modeling Advances in exception handling techniques, (77-93)
  694. Eckert C (2001). The Communication Bottleneck in Knitwear Design, Computer Supported Cooperative Work, 10:1, (29-74), Online publication date: 1-Jan-2001.
  695. Rossetti M, Aylor B, Jacoby R, Prorock A and White A Simulation modeling and the web Proceedings of the 32nd conference on Winter simulation, (1855-1864)
  696. Carr J and Balci O Verification and validation of object-oriented artifacts throughout the simulation model development life cycle Proceedings of the 32nd conference on Winter simulation, (866-871)
  697. Richter H and März L Toward a standard process Proceedings of the 32nd conference on Winter simulation, (394-398)
  698. Wahls T, Leavens G and Baker A (2000). Executing Formal Specifications with Concurrent Constraint Programming, Automated Software Engineering, 7:4, (315-343), Online publication date: 1-Dec-2000.
  699. Lank E, Thorley J and Chen S An interactive system for recognizing hand drawn UML diagrams Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
  700. Chan Y and Suwanda H Designing multinational online stores Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
  701. ACM
    Lüttgen G, von der Beeck M and Cleaveland R A compositional approach to statecharts semantics Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (120-129)
  702. ACM
    Butkevich S, Renedo M, Baumgartner G and Young M Compiler and tool support for debugging object protocols Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (50-59)
  703. ACM
    Robillard M and Murphy G Designing robust Java programs with exceptions Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (2-10)
  704. Browne J, Berger E and Dube A (2000). Compositional Development of Performance Models in Poems, International Journal of High Performance Computing Applications, 14:4, (283-291), Online publication date: 1-Nov-2000.
  705. ACM
    Lüttgen G, von der Beeck M and Cleaveland R (2000). A compositional approach to statecharts semantics, ACM SIGSOFT Software Engineering Notes, 25:6, (120-129), Online publication date: 1-Nov-2000.
  706. ACM
    Butkevich S, Renedo M, Baumgartner G and Young M (2000). Compiler and tool support for debugging object protocols, ACM SIGSOFT Software Engineering Notes, 25:6, (50-59), Online publication date: 1-Nov-2000.
  707. ACM
    Robillard M and Murphy G (2000). Designing robust Java programs with exceptions, ACM SIGSOFT Software Engineering Notes, 25:6, (2-10), Online publication date: 1-Nov-2000.
  708. ACM
    Becker L, Hammelbeck S and Hinrichs K Design and implementation of an interoperable GIS-interface for grid data Proceedings of the 8th ACM international symposium on Advances in geographic information systems, (185-186)
  709. Menascé D and Gomaa H (2000). A Method for Design and Performance Modeling of Client/Server Systems, IEEE Transactions on Software Engineering, 26:11, (1066-1085), Online publication date: 1-Nov-2000.
  710. Petriu D, Shousha C and Jalnapurkar A (2000). Architecture-Based Performance Analysis Applied to a Telecommunication System, IEEE Transactions on Software Engineering, 26:11, (1049-1065), Online publication date: 1-Nov-2000.
  711. Adve V, Bagrodia R, Browne J, Deelman E, Dube A, Houstis E, Rice J, Sakellariou R, Sundaram-Stukel D, Teller P and Vernon M (2000). POEMS, IEEE Transactions on Software Engineering, 26:11, (1027-1048), Online publication date: 1-Nov-2000.
  712. Cox K and Phalp K (2000). Replicating the CREWS Use Case Authoring Guidelines Experiment, Empirical Software Engineering, 5:3, (245-267), Online publication date: 1-Nov-2000.
  713. Wu C and Simmons D Software Project Planning Associate (SPPA) 24th International Computer Software and Applications Conference, (305-310)
  714. He X Formalizing UML Class Diagrams 24th International Computer Software and Applications Conference, (217-222)
  715. Aoyama M, Saiki T and Matsumoto N Development of XML-Based Software and Service Commerce Language XSCL and Javabeans Player 24th International Computer Software and Applications Conference, (228-233)
  716. Cleland-Huang J and Chang C Supporting the Partitioning of Distributed Systems with Function-Class Decomposition 24th International Computer Software and Applications Conference, (351-356)
  717. Kusumoto S, Inoue K, Kasimoto T, Suzuki A, Yuura K and Tsuda M Function Point Measurement for Object-Oriented Requirements Specification 24th International Computer Software and Applications Conference, (543-548)
  718. Simmons D and Wu C Plan Tracking Knowledge Base 24th International Computer Software and Applications Conference, (299-304)
  719. Kandé M and Strohmeier A Towards a UML profile for software architecture descriptions Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (513-527)
  720. Le Guennec A, Sunyé G and Jézéquel J Precise modeling of design patterns Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (482-496)
  721. Pickin S and Manjarrés Á Describing AI analysis patterns with UML Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (466-481)
  722. Mizuno M, Singh G and Neilsen M A structured approach to develop concurrent programs in UML Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (451-465)
  723. Hennicker R and Koch N A UML-based methodology for hypermedia design Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (410-424)
  724. Petriu D and Sun Y Consistent behaviour representation in activity and sequence diagrams Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (369-382)
  725. Hussmann H, Demuth B and Finger F Modular architecture for a toolset supporting OCL Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (278-293)
  726. Brenner E and Derado I UML extension for ASAM-GDI device capability description Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (148-161)
  727. Vilain P, Schwabe D and de Souza C A diagrammatic tool for representing user interaction in UML Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (133-147)
  728. ACM
    Harrison W, Barton C and Raghavachari M (2000). Mapping UML designs to Java, ACM SIGPLAN Notices, 35:10, (178-187), Online publication date: 1-Oct-2000.
  729. ACM
    Harrison W, Barton C and Raghavachari M Mapping UML designs to Java Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (178-187)
  730. ACM
    Larsen G (2000). Component-based enterprise frameworks, Communications of the ACM, 43:10, (24-26), Online publication date: 1-Oct-2000.
  731. ACM
    Armour P (2000). The five orders of ignorance, Communications of the ACM, 43:10, (17-20), Online publication date: 1-Oct-2000.
  732. ACM
    Sutherland K (2000). Book reviews, intelligence, 11:3, (47-54), Online publication date: 1-Sep-2000.
  733. ACM
    Verkamo A, Gustafsson J, Nenonen L and Paakki J Design patterns in performance prediction Proceedings of the 2nd international workshop on Software and performance, (143-144)
  734. ACM
    Gomaa H and Menascé D Design and performance modeling of component interconnection patterns for distributed software architectures Proceedings of the 2nd international workshop on Software and performance, (117-126)
  735. ACM
    Arief L and Speirs N A UML tool for an automatic generation of simulation programs Proceedings of the 2nd international workshop on Software and performance, (71-76)
  736. ACM
    Olderog E and Ravn A Completeness in formal specification language design for process-control systems Proceedings of the third workshop on Formal methods in software practice, (89-100)
  737. Whisnant K, Kalbarczyk Z and Iyer R Micro-Checkpointing Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
  738. ACM
    Bojic D and Velasevic D (2001). Reverse Engineering of Use Case Realizations in UML, ACM SIGSOFT Software Engineering Notes, 25:4, (56-61), Online publication date: 1-Jul-2000.
  739. van der Aalst W, de Crom P, Goverde R, van Hee K, Hofman W, Reijers H and van der Toorn R ExSpect 6.4 Proceedings of the 21st international conference on Application and theory of petri nets, (455-464)
  740. Engels G, Heckel R and Sauer S UML - a universal modeling language? Proceedings of the 21st international conference on Application and theory of petri nets, (24-38)
  741. Chung S and Lee Y Reverse Software Engineering with UML for Web Site Maintenance Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
  742. Da Silva P User interface declarative models and development environments Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (207-226)
  743. ACM
    Gomaa H Designing real-time and distributed applications with the UML (tutorial session)4 Proceedings of the 22nd international conference on Software engineering
  744. ACM
    Nickel U, Niere J and Zündorf A The FUJABA environment Proceedings of the 22nd international conference on Software engineering, (742-745)
  745. ACM
    Emmerich W, Mascolo C and Finkelsteiin A Implementing incremental code migration with XML Proceedings of the 22nd international conference on Software engineering, (397-406)
  746. ACM
    Köhler H, Nickel U, Niere J and Zündorf A Integrating UML diagrams for production control systems Proceedings of the 22nd international conference on Software engineering, (241-251)
  747. ACM
    Blake B and Bose P An agent approach to alleviating packaging mismatch Proceedings of the fourth international conference on Autonomous agents, (64-69)
  748. ACM
    Milicev D (2000). Customizable output generation in modeling environments using pipelined domains, ACM SIGSOFT Software Engineering Notes, 25:3, (46-50), Online publication date: 1-May-2000.
  749. ACM
    Radfelder O and Gogolla M On better understanding UML diagrams through interactive three-dimensional visualization and animation Proceedings of the working conference on Advanced visual interfaces, (292-295)
  750. ACM
    Engels G and Groenewegen L Object-oriented modeling Proceedings of the Conference on The Future of Software Engineering, (103-116)
  751. ACM
    Paul J, Peffers S and Thomas D Frequency interleaving as a codesign scheduling paradigm Proceedings of the eighth international workshop on Hardware/software codesign, (131-135)
  752. ACM
    Fernandes J, Machado R and Santos H Modeling industrial embedded systems with UML Proceedings of the eighth international workshop on Hardware/software codesign, (18-22)
  753. ACM
    Neal E A new UML-compatible object relationship notation (ORN) Proceedings of the 38th annual ACM Southeast Conference, (179-183)
  754. ACM
    Gray J and Schach S Constraint animation using an object-oriented declarative language Proceedings of the 38th annual ACM Southeast Conference, (1-10)
  755. ACM
    Musto A, Polese G and Pannella A Automatic generation of RDBMS based applications from object oriented design schemes Proceedings of the 2000 ACM symposium on Applied computing - Volume 1, (398-402)
  756. ACM
    Needham D, Demurjian S and Peters T (2000). An IDL to Ada95 mapping to support propagation modeling, ACM SIGAda Ada Letters, XX:1, (58-66), Online publication date: 1-Mar-2000.
  757. ACM
    Power J and Malloy B An approach for modeling the name lookup problem in the C++ programming lanaguage Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (792-796)
  758. ACM
    Bojic D and Velasevic D Reverse engineering of use case realizations in UML Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (741-747)
  759. ACM
    Gausemeier J, Krumm H, Molt T, Ebbesmeyer P and Gehrmann P A database driven server for an Internet based plant layout presentation system Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML), (17-22)
  760. ACM
    Alur R and Grosu R Modular refinement of hierarchic reactive machines Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (390-402)
  761. ACM
    Martin L and Siemon E Component visualization based on programmer's conceptual models (poster session) Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), (73-74)
  762. ACM
    Śmiałek M Global reuse strategy based on use cases (poster session) Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), (49-50)
  763. Subramanian U An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Application to an Educational Information System Proceedings of the Sixth Asia Pacific Software Engineering Conference
  764. ACM
    Johnson G Networked simulation with HLA and MODSIM III Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2, (1065-1070)
  765. Briand L, Arisholm E, Counsell S, Houdek F and Thévenod–fosse P (1999). Empirical Studies of Object-Oriented Artifacts, Methods,and Processes, Empirical Software Engineering, 4:4, (387-404), Online publication date: 1-Dec-1999.
  766. Raffo D, Kaltio T, Partridge D, Phalp K and Ramil J (1999). Empirical Studies Applied to Software Process Models, Empirical Software Engineering, 4:4, (353-369), Online publication date: 1-Dec-1999.
  767. Chen J (1999). On Verifying Distributed Multithreaded Java Programs, Software Quality Journal, 8:4, (321-341), Online publication date: 1-Dec-1999.
  768. Lee J, Xue N, Hsu K and Fangjang Y Structuring Requirements Specifications through Goals Interactions Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
  769. ACM
    Parent C, Spaccapietra S and Zimányi E Spatio-temporal conceptual models Proceedings of the 7th ACM international symposium on Advances in geographic information systems, (26-33)
  770. ACM
    Filho J and Iochpe C Specifying analysis patterns for geographic databases on the basis of a conceptual framework Proceedings of the 7th ACM international symposium on Advances in geographic information systems, (7-13)
  771. ACM
    Jäger D, Schleicher A and Westfechtel B (1999). Using UML for software process modeling, ACM SIGSOFT Software Engineering Notes, 24:6, (91-108), Online publication date: 1-Nov-1999.
  772. Soundarajan N and Fridella S Modeling exceptional behavior Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (691-704)
  773. Bunse C and Atkinson C The normal object form Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (675-690)
  774. Li X and Lilius J Timing analysis of UML sequence diagrams Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (661-674)
  775. Firley T, Huhn M, Diethers K, Gehrke T and Goltz U Timed sequence diagrams and tool-based analysis Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (645-660)
  776. Baumeister H, Koch N and Mandel L Towards a UML extension for hypermedia design Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (614-629)
  777. Demuth B and Hussmann H Using UML/OCL constraints for relational database design Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (598-613)
  778. Henderson-Sellers B and Barbier F Black and white diamonds Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (550-565)
  779. Back R, Petre L and Paltor I Analysing UML use cases as contracts Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (518-533)
  780. Clark T Typechecking UML static models Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (503-517)
  781. Lilius J and Paltor I Formalising UML state machines for model checking Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (430-444)
  782. Herzberg D UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (330-338)
  783. Sendall S and Strohmeier A UML-based fusion analysis Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (278-291)
  784. Dykman N, Griss M and Kessler R Nine suggestions for improving UML extensibility Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (236-248)
  785. Evans A and Kent S Core meta-modelling semantics of UML Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (140-155)
  786. Henderson-Sellers B, Atkinson C and Firesmith D Viewing the OML as a variant of the UML Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (49-66)
  787. Hilliard R Using the UML for architectural description Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (32-48)
  788. Abi-Antoun M and Medvidovic N Enabling the refinement of a software architecture into a design Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (17-31)
  789. ACM
    Epstein P and Sandhu R Towards a UML based approach to role engineering Proceedings of the fourth ACM workshop on Role-based access control, (135-143)
  790. Jäger D, Schleicher A and Westfechtel B Using UML for software process modeling Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (91-108)
  791. ACM
    Kersten M and Murphy G (1999). Atlas, ACM SIGPLAN Notices, 34:10, (340-352), Online publication date: 1-Oct-1999.
  792. ACM
    Clarke S, Harrison W, Ossher H and Tarr P (1999). Subject-oriented design, ACM SIGPLAN Notices, 34:10, (325-339), Online publication date: 1-Oct-1999.
  793. ACM
    Kersten M and Murphy G Atlas Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (340-352)
  794. ACM
    Clarke S, Harrison W, Ossher H and Tarr P Subject-oriented design Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (325-339)
  795. ACM
    Conallen J (1999). Modeling Web application architectures with UML, Communications of the ACM, 42:10, (63-70), Online publication date: 1-Oct-1999.
  796. ACM
    Bell A and Schmidt R (1999). UMLoquent expression of AWACS software design, Communications of the ACM, 42:10, (55-61), Online publication date: 1-Oct-1999.
  797. ACM
    Selic B (1999). Turning clockwise, Communications of the ACM, 42:10, (46-54), Online publication date: 1-Oct-1999.
  798. ACM
    Larsen G (1999). Designing component-based frameworks using patterns in the UML, Communications of the ACM, 42:10, (38-45), Online publication date: 1-Oct-1999.
  799. ACM
    Booch G (1999). UML in action, Communications of the ACM, 42:10, (26-28), Online publication date: 1-Oct-1999.
  800. Afonso A, Silva M, Campos J and Regateiro F The Design and Implementation of the Ubidata Information Dissemination Framework Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing, (371-373)
  801. Bernstein P, Pal S and Shutt D Context-Based Prefetch for Implementing Objects on Relations Proceedings of the 25th International Conference on Very Large Data Bases, (327-338)
  802. Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
  803. Yannakopoulos D, Ferretti M and Schultz M Object Lessons Learned from an Intelligent Agents Framework for Telephony-Based Applications Proceedings of the Technology of Object-Oriented Languages and Systems
  804. Periyasamy K, Alagar V and Muthiayen D Verification and Validation Techniques of Object-Oriented Software Systems Proceedings of the Technology of Object-Oriented Languages and Systems
  805. Gomaa H Inter-agent communication in cooperative information agent-based systems Proceedings of the 3rd international conference on Cooperative information agents III, (137-148)
  806. Calvanese D, De Giacomo G and Lenzerini M Reasoning in expressive description logics with fixpoints based on automata on infinite trees Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1, (84-89)
  807. Kavakli E and Loucopoulos P (1999). Focus issue on legacy information systems and business process engineering, Communications of the AIS, 2:1es, (6-es), Online publication date: 1-Jul-1999.
  808. ACM
    Ossher H and Tarr P Using subject-oriented programming to overcome common problems in object-oriented software development/evolution Proceedings of the 21st international conference on Software engineering, (687-688)
  809. ACM
    Griss M Architecting for large-scale systematic component reuse Proceedings of the 21st international conference on Software engineering, (615-616)
  810. ACM
    Roodyn N and Emmerich W An architectural style for multiple real-time data feeds Proceedings of the 21st international conference on Software engineering, (564-572)
  811. ACM
    Robbins J, Kantor M and Redmiles D Sweeping away disorder with the broom alignment tool CHI '99 Extended Abstracts on Human Factors in Computing Systems, (250-251)
  812. Hensgen D, Kidd T, John D, Schnaidt M, Siegel H, Braun T, Maheswaran M, Ali S, Kim J, Irvine C, Levin T, Freund R, Kussow M, Godfrey M, Duman A, Carff P, Kidd S, Prasanna V, Bhat P and Alhusaini A An Overview of MSHN Proceedings of the Eighth Heterogeneous Computing Workshop
  813. Kendall E (1999). Utilizing patterns and pattern languages in education, Annals of Software Engineering, 6:1-4, (281-294), Online publication date: 1-Apr-1999.
  814. ACM
    Tremblay G Exercises for teaching logic in a formal methods course The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (100-104)
  815. ACM
    Tremblay G (1999). Exercises for teaching logic in a formal methods course, ACM SIGCSE Bulletin, 31:1, (100-104), Online publication date: 1-Mar-1999.
  816. Peleska J and Buth B Formal Methods for the International Space Station ISS Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (363-389)
  817. 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)
  818. ACM
    Alur R and Yannakakis M (1998). Model checking of hierarchical state machines, ACM SIGSOFT Software Engineering Notes, 23:6, (175-188), Online publication date: 1-Nov-1998.
  819. ACM
    Spaccapietra S, Parent C and Zimanyi E Modeling time from a conceptual perspective Proceedings of the seventh international conference on Information and knowledge management, (432-440)
  820. ACM
    Alur R and Yannakakis M Model checking of hierarchical state machines Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (175-188)
  821. Evans A Reasoning with UML Class Diagrams Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
  822. Schmidt P, Rieder S, Theofilidis A, Groenendijk M, Phelan P, Schulz H, Declerck T and Bredenkamp A Natural language access to software applications Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (1193-1197)
  823. ACM
    Karhinen A, Ran A and Tallgren T (1997). Configuring designs for reuse, ACM SIGSOFT Software Engineering Notes, 22:3, (199-208), Online publication date: 1-May-1997.
  824. ACM
    Karhinen A, Ran A and Tallgren T Configuring designs for reuse Proceedings of the 1997 symposium on Software reusability, (199-208)
  825. Rashid M, Anwar M, Azam F and Kashif M Model-based requirements and properties specifications trends for early design verification of embedded systems 2016 11th System of Systems Engineering Conference (SoSE), (1-7)
  826. Clemente M, Nolich M, Ukovich W and Fanti M A Decision Support System for the Management of an Electric-Car Sharing System 2015 IEEE International Conference on Systems, Man, and Cybernetics, (533-538)
Contributors
  • IBM Research
  • General Electric Company
  • Florida Atlantic University

Reviews

Manfred Nagl

The term “unified” is used in several different senses in this book. It refers to (1) a language applicable to most activities in the software development process; (2) unifying the notations of Booch, OOSE, and OMT; (3) using the object-oriented paradigm (and others) throughout the whole process; (4) a modeling language that some people hope will become a worldwide standard via OMG standardization; (5) being independent of system scale and, therefore, also applicable to large real world systems; and, finally, (6) being readable and usable by humans as well as machines. The preface lists some further aims and ideals, including that readers should learn how to use the Unified Modeling Language (UML) effectively; that a modeling language should be precisely defined, like a programming language; and that the purpose of UML is “visualizing, specifying, constructing and documenting” systems. Furthermore, the authors indicate that UML is appropriate to nearly all types of practical systems, ranging from enterprise information systems, through Web-based applications, to hard real-time embedded systems. This user guide is one of three introductory books on UML by the authors. The others are the <__?__Pub Fmt italic>UML Language Reference Manual<__?__Pub Fmt /italic> and <__?__Pub Fmt italic>Development Process Using UML.<__?__Pub Fmt /italic> Essentially, UML is a collection of graphical languages annotated with text for describing structural and behavioral models. They are applied to identifiable subparts of the system description (subsystems, views with respect to behavior, or “abstractions” omitting details that are not necessary for a certain focus). The rest is then detail work, namely programming in a certain language and applying suitable quality assurance, management procedures, or documentation practices. The essence of all of this, however, can also be described in several diagrams of UML. For this purpose, 11 kinds of language are introduced. Some languages appear only within diagrams (such as OCL to denote constraints). Some diagrams exist as subdiagrams of others (sequence and collaboration diagrams of interaction diagrams), some are elaborated by others (collaborations within object diagrams), and some appear as annotations of others (such as statecharts for describing the order in which the operations of a class-within-a-class diagram are executed). Some diagrams are “equivalent” or “nearly equivalent.” Relationships between diagrams must describe various consistency relations. The discussion is rather abstract up to page 120, in the sense that structural or behavioral things (diagram nodes) and relations (diagram edges) are introduced. Later, they are instantiated for the different kinds of diagrams. In the first part, the explanation is on a metamodel level, which cannot be understood by someone who does not already know the various subsequent instantiations. The remainder of the book contains well-written chapters on state chart diagrams, but also some chapters that do not contain much information. A reader with a question concerning, for example, the elaboration of a functional requirements specification will have to look through nearly the whole book. Frequently information appears in unexpected places (as in chapters 21 and 24). Readers will be left with many questions. In many cases, the modeling constructs must be interpreted. Furthermore, it remains unclear what particular diagrams may contain and what the consistency relations are within those diagrams or between diagrams, in order to handle consistencies and tracing. In general, it is left unclear how to manage the consistency of numerous diagrams in a practical project. I wish there was a common, standardized modeling language used worldwide and suited for most activities in software development, whether UML or another. This would be extremely helpful for practitioners as well as for computer science education. Such a language should have a precise syntax and semantics for the sublanguages. It should make clear how sublanguages are composed and integrated on the language level and on the method level. It should make clear how to handle maintenance projects, since more than 80 percent of current software projects are of this kind. There should be a sketch detailing how to deal with different systems, such as information systems and embedded systems. Furthermore, different kinds of projects (new development, maintenance, and reuse) should be considered. The presentation of this language should include good, elaborated examples, not fragments of trivial systems, as we learn more from good examples than from languages or method descriptions. This book is no help for someone who has no modeling experience. The authors adapt features from various programming languages, modeling approaches, and so on and try to “unify” them so that they are applicable for any development context. In doing so, they cannot provide precise answers to the above questions. Experienced readers, however, will find many useful modeling elements, especially on the level of predefined but not standardized constructs (stereotypes). The book gives the impression, as do most method books, that top-down development of trivial examples shows how to deal with large, varied systems. With this kind of language approach and book presentation, the numerous aims mentioned in the introduction cannot be fulfilled, especially not the aim of successful and worldwide use in practical projects. Given the state of the art of modeling and of modeling languages, these aims can hardly be met. The reader, however, will find no discussion of this issue. Therefore, the authors become victims of their own promises. Assuming that there are answers to the above questions—and indeed there are more answers than given in the book—can they be presented in the pages of one book__?__ One could at least try. This, however, is not possible with the space-devouring style of writing used here, including useless notes and cross-references, endless repetitions and refinements by copy and paste, lengthy enumerations, and usually useless “getting started” subsections. Writing a book is a modeling task: the authors have to make clear which readers they are addressing and what they are going to tell (requirements specification). The book has to be structured in a way that meets these requirements (architectural specification). Thus, the book should be either readable sequentially or driven by a certain focus. This modeling task has not been addressed. The presentation is behind the state of the art in modeling. If I used this book for a course, I would have to give (partial) answers to all of the above questions by myself. No references are given, although nearly all the ideas presented here stem from other sources. The only reference I could find was in a section on “Where t<__?__Pub Caret>o Go Next” (p. 433), where the reader is encouraged to read the earlier methods books by the authors, which this book supersedes. This book does not help make UML a success. UML will only succeed if the above questions are answered in a way that can be understood by the community. Finally, there is the danger that the community will have moved on to another paradigm by the time the answers are available.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Recommendations