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
- 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.
- 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)
- 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.
- 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.
- Razwiedani M and Kogeda O A Decision Support System for Tuberculosis Prevalence in South Africa Computational Science and Its Applications – ICCSA 2021, (270-284)
- 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)
- 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.
- Abdalla R, Mishra A and Diallo S (2021). Agent-Oriented Software Engineering Methodologies, Complexity, 2021, Online publication date: 1-Jan-2021.
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- (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.
- 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.
- Afanasyev A, Voit N and Kirillov S Timed Automaton RVT-Grammar for Workflow Translating Advances in Computational Intelligence, (146-155)
- 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)
- 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)
- 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)
- Kim J, Batory D and Dig D X15 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B, (28-31)
- 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.
- 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)
- 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.
- 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.
- Bjørner D (2017). Manifest domains: analysis and description, Formal Aspects of Computing, 29:2, (175-225), Online publication date: 1-Mar-2017.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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)
- 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)
- Mitra R Rapido Proceedings of the 24th International Conference on World Wide Web, (1509-1514)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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)
- Kaschek R A Semantic Analysis of Shared References Proceedings of the 32nd International Conference on Conceptual Modeling - Volume 8217, (88-95)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- 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)
- Chatty S Réconcilier conception d'interfaces et conception logicielle Proceedings of the 2012 Conference on Ergonomie et Interaction homme-machine, (73-80)
- Solms F What is software architecture? Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (363-373)
- 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)
- 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)
- 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.
- 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.
- Mascarell J (2011). Visual help to learn programming, ACM Inroads, 2:4, (42-48), Online publication date: 1-Dec-2011.
- 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)
- Lee E Heterogeneous actor modeling Proceedings of the ninth ACM international conference on Embedded software, (3-12)
- Hasker R (2011). UMLGrader, Journal of Computing Sciences in Colleges, 27:1, (47-54), Online publication date: 1-Oct-2011.
- 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)
- 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)
- 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)
- Arpit and Kumar A Refjav Proceedings of the International Conference on Advances in Computing and Artificial Intelligence, (150-154)
- Heena and Ranjna A comparative study of UML tools Proceedings of the International Conference on Advances in Computing and Artificial Intelligence, (1-4)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Turner R (2011). Specification, Minds and Machines, 21:2, (135-152), Online publication date: 1-May-2011.
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- Costa C Supporting ERP open source customization with UML Proceedings of the Workshop on Open Source and Design of Communication, (31-34)
- 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)
- 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.
- 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.
- 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)
- Lee E Disciplined heterogeneous modeling Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (273-287)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- 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)
- Shrotri U, Venkatesh R and Metta R Proving unreachability using bounded model checking Proceedings of the 3rd India software engineering conference, (73-82)
- 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)
- Börstler J Using role-play diagrams to improve scenario role-play Graph transformations and model-driven engineering, (309-334)
- Klein P The architecture description language model Graph transformations and model-driven engineering, (249-273)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- Garredu S, Vittori E and Santucci J A DEVS-oriented intuitive modeling language Proceedings of the 2009 Spring Simulation Multiconference, (1-8)
- 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)
- 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.
- 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.
- 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.
- Cabot J, Clarisó R and Riera D Verifying UML/OCL Operation Contracts Proceedings of the 7th International Conference on Integrated Formal Methods, (40-55)
- 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.
- 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.
- 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)
- 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)
- 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.
- Setavoraphan K and Grant F Conceptual simulation modeling Proceedings of the 40th Conference on Winter Simulation, (975-986)
- Macal C and North M Agent-based modeling and simulation Proceedings of the 40th Conference on Winter Simulation, (101-112)
- Arroyo S and Sicilia M (2008). SOPHIE, Information and Software Technology, 50:12, (1266-1280), Online publication date: 1-Nov-2008.
- Diehl E A four-layer model for security of digital rights management Proceedings of the 8th ACM workshop on Digital rights management, (19-28)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Riehle R (2008). Playscript for use cases, ACM SIGSOFT Software Engineering Notes, 33:5, (1-2), Online publication date: 31-Aug-2008.
- 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)
- Lin J A modeling method for service management of e-Learning Proceedings of the 8th conference on Applied informatics and communications, (276-282)
- 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)
- 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)
- Goncalves G and Poniszewska-Maranda A (2008). Role engineering, Journal of Systems and Software, 81:8, (1306-1326), Online publication date: 1-Aug-2008.
- Goldsby H and Cheng B Avida-MDE Proceedings of the 10th annual conference on Genetic and evolutionary computation, (1751-1758)
- 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.
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Choi J and Yoo C Connect with things through instant messaging Proceedings of the 1st international conference on The internet of things, (276-288)
- 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)
- Qian J and Xu B Scenario oriented program slicing Proceedings of the 2008 ACM symposium on Applied computing, (748-752)
- 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.
- 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.
- 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.
- Sengupta S and Bhattacharya S Formalization of UML diagrams and their consistency verification Proceedings of the 1st India software engineering conference, (151-152)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
- Schioler H, Schwefel H and Hansen M CyNC Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-10)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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
- 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
- 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)
- 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)
- Leppänen M A context-based enterprise ontology Proceedings of the 10th international conference on Business information systems, (273-286)
- 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)
- 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)
- 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.
- Power D and Sharda R (2007). Model-driven decision support systems, Decision Support Systems, 43:3, (1044-1061), Online publication date: 1-Apr-2007.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- Ebnenasir A and Cheng B A pattern-based approach for modeling and analyzing error recovery Architecting dependable systems IV, (115-141)
- 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)
- Macal C and North M Tutorial on agent-based modeling and simulation part 2 Proceedings of the 38th conference on Winter simulation, (73-83)
- 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.
- 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.
- 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.
- 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.
- Jifeng H, Li X and Liu Z (2006). rCOS, Theoretical Computer Science, 365:1, (109-142), Online publication date: 10-Nov-2006.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- Ryoo J and Saiedian H (2006). AVDL, Journal of Systems and Software, 79:8, (1180-1206), Online publication date: 1-Aug-2006.
- 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.
- Hammond T and Davis R LADDER ACM SIGGRAPH 2006 Courses, (27-es)
- Hammond T and Davis R Tahuti ACM SIGGRAPH 2006 Courses, (25-es)
- 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)
- 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)
- Willis D, Pearce D and Noble J Efficient object querying for java Proceedings of the 20th European conference on Object-Oriented Programming, (28-49)
- 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.
- Frederiks P and van der Weide T (2006). Information modeling, Data & Knowledge Engineering, 58:1, (4-20), Online publication date: 1-Jul-2006.
- Berghe C and Schunter M Privacy injector — automated privacy enforcement through aspects Proceedings of the 6th international conference on Privacy Enhancing Technologies, (99-117)
- 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)
- Martens A Time in the adaptive tutoring process model Proceedings of the 8th international conference on Intelligent Tutoring Systems, (134-143)
- 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)
- 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)
- 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)
- 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.
- 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)
- Gomaa H Designing concurrent, distributed, and real-time applications with UML Proceedings of the 28th international conference on Software engineering, (1059-1060)
- 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)
- 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)
- Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
- 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)
- 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)
- 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)
- Rugaber S Cataloging design abstractions Proceedings of the 2006 international workshop on Role of abstraction in software engineering, (11-18)
- 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.
- Dobing B and Parsons J (2006). How UML is used, Communications of the ACM, 49:5, (109-113), Online publication date: 1-May-2006.
- Simmons E (2006). The Usage Model, IEEE Software, 23:3, (34-41), Online publication date: 1-May-2006.
- Bernardi S and Merseguer J (2006). QoS Assessment via Stochastic Analysis, IEEE Internet Computing, 10:3, (32-42), Online publication date: 1-May-2006.
- Bollen P Conceptual process configurations in enterprise knowledge management systems Proceedings of the 2006 ACM symposium on Applied computing, (1516-1523)
- 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)
- 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.
- 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)
- Pearce D and Noble J Relationship aspects Proceedings of the 5th international conference on Aspect-oriented software development, (75-86)
- 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.
- 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)
- Parsons D and Haden P Parson's programming puzzles Proceedings of the 8th Australasian Conference on Computing Education - Volume 52, (157-163)
- 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.
- 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.
- Hall B (2006). Component interfaces that support measurement uncertainty, Computer Standards & Interfaces, 28:3, (306-310), Online publication date: 1-Jan-2006.
- 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)
- 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)
- 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)
- 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.
- Lang N, Jacobs P and Verbraeck A RMIS Proceedings of the 37th conference on Winter simulation, (336-345)
- 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)
- Galton A and Worboys M Processes and events in dynamic geo-networks Proceedings of the First international conference on GeoSpatial Semantics, (45-59)
- 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)
- Sikici A Modeling from a semiotic perspective Proceedings of the 2005 symposia on Metainformatics, (14-es)
- Gkotsis G, Tzagarakis M and Vaitis M Towards structural computing design Proceedings of the 2005 symposia on Metainformatics, (5-es)
- 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)
- 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)
- 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.
- 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)
- Goldman J and Song I Organizing and managing use cases Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (43-52)
- 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)
- 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)
- Girardi R and Lindoso A DDEMAS Proceedings of the 24th international conference on Perspectives in Conceptual Modeling, (141-150)
- 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)
- 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)
- 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)
- Trong T, Ghosh S, France R, Hamilton M and Wilkins B UMLAnT Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, (120-124)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Bjorner D A Cloverleaf of Software Engineering Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (86-85)
- Darbari M and Saxena V (2005). Modeling biological systems, ACM SIGSOFT Software Engineering Notes, 30:5, (1-4), Online publication date: 1-Sep-2005.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Thompson C and Jena R (2005). Digital Licensing, IEEE Internet Computing, 9:4, (85-88), Online publication date: 1-Jul-2005.
- 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.
- 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.
- Baar T Non-deterministic constructs in OCL – what does any() mean Proceedings of the 12th international conference on Model Driven, (32-46)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- Fang S (2005). University Course Scheduling System (UCSS), Journal of Computing Sciences in Colleges, 20:6, (160-169), Online publication date: 1-Jun-2005.
- 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.
- 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.
- 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)
- 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)
- Kotulski L Graph representation of the nested software structure Proceedings of the 5th international conference on Computational Science - Volume Part III, (1008-1011)
- 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)
- Gestwicki P and Jayaraman B Methodology and architecture of JIVE Proceedings of the 2005 ACM symposium on Software visualization, (95-104)
- 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)
- 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)
- 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)
- Cheng J, Scharenbroich L, Baldi P and Mjolsness E (2005). Sigmoid, IEEE Intelligent Systems, 20:3, (68-75), Online publication date: 1-May-2005.
- 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.
- 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)
- 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)
- 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)
- 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.
- McIntosh P, Hamilton M and van Schyndel R X3D-UML Proceedings of the tenth international conference on 3D Web technology, (135-142)
- 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)
- 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)
- Zhou Y and Xu B Measuring structural complexity for class diagrams Proceedings of the 2005 ACM symposium on Applied computing, (1679-1683)
- 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)
- 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)
- 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)
- Cazzola W, Pini S and Ancona M AOP for software evolution Proceedings of the 2005 ACM symposium on Applied computing, (1346-1350)
- Signorini J and Greussay P Object-oriented wound healing in the liver Proceedings of the 2005 ACM symposium on Applied computing, (165-171)
- 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)
- 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.
- 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.
- 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.
- Pavlov V and Yatsenko A "The Babel experiment" Proceedings of the 36th SIGCSE technical symposium on Computer science education, (231-235)
- 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)
- Pavlov V and Yatsenko A (2005). "The Babel experiment", ACM SIGCSE Bulletin, 37:1, (231-235), Online publication date: 23-Feb-2005.
- 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.
- 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.
- 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)
- Mosk-Aoyama D and Yannakakis M Testing hierarchical systems Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, (1126-1135)
- 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)
- 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.
- Maydl W and Grunske L Behavioral types for embedded software Component-Based Software Development for Embedded Systems, (82-106)
- 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)
- Tryfona N and Pfoser D Data semantics in location-based services Journal on Data Semantics III, (168-195)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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)
- Jacobs P and Verbraeck A Single-threaded specification of process-interaction formalism in Java Proceedings of the 36th conference on Winter simulation, (1548-1555)
- 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.
- 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.
- 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)
- 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)
- Schank P and Hamel L Collaborative modeling Proceedings of the 2004 ACM conference on Computer supported cooperative work, (574-577)
- 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)
- 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)
- Liu Z, Jifeng H and Li X rCOS Proceedings of the Third international conference on Formal Methods for Components and Objects, (183-221)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- Ingalsbe J Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams UML Modeling Languages and Applications, (105-117)
- 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)
- 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)
- 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)
- Donlin A Transaction level modeling Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (75-80)
- Chatziantoniou D and Anagnostopoulos A (2004). NESTREAM, ACM SIGMOD Record, 33:3, (71-78), Online publication date: 1-Sep-2004.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- Huget M (2004). Agent UML Notation for Multiagent System Design, IEEE Internet Computing, 8:4, (63-71), Online publication date: 1-Jul-2004.
- 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.
- 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.
- Jisa D Component based development methods Proceedings of the 5th international conference on Computer systems and technologies, (1-6)
- 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.
- Chung L and Supakkul S Representing NFRs and FRs Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (29-41)
- 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.
- Cahon S, Melab N and Talbi E (2004). ParadisEO, Journal of Heuristics, 10:3, (357-380), Online publication date: 1-May-2004.
- 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.
- 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.
- 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.
- Zhang J, Chung J and Chang C Towards increasing web application productivity Proceedings of the 2004 ACM symposium on Applied computing, (1677-1681)
- 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)
- 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)
- Ventura P and Ramamurthy B Wanted Proceedings of the 35th SIGCSE technical symposium on Computer science education, (240-244)
- 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.
- Ventura P and Ramamurthy B (2004). Wanted, ACM SIGCSE Bulletin, 36:1, (240-244), Online publication date: 1-Mar-2004.
- 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.
- 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.
- 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.
- 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)
- 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)
- Billard E Operating system scenarios as Use Case Maps Proceedings of the 4th international workshop on Software and performance, (266-277)
- Alsaadi A A performance analysis approach based on the UML class diagram Proceedings of the 4th international workshop on Software and performance, (254-260)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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)
- Gervais M (2003). ODAC, Autonomous Agents and Multi-Agent Systems, 7:3, (199-228), Online publication date: 1-Nov-2003.
- Alghathbar K and Wijesekera D authUML Proceedings of the 2003 ACM workshop on Formal methods in security engineering, (77-86)
- 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)
- 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)
- Blake M Enterprise data management in research organizations Proceedings of the 2003 conference on Diversity in computing, (55-64)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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)
- 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.
- 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)
- Hammond T and Davis R LADDER Proceedings of the 18th international joint conference on Artificial intelligence, (461-467)
- 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.
- 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.
- Di Gaspero L and Schaerf A (2003). EasyLocal++, Software—Practice & Experience, 33:8, (733-765), Online publication date: 10-Jul-2003.
- 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.
- 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.
- Sandén B (2003). Entity-Life Modeling, IEEE Software, 20:4, (70-78), Online publication date: 1-Jul-2003.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- Gotseva D MS Word macro language extension Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning, (226-229)
- 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)
- 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)
- Nikolaidou M and Anagnostopoulos D Exploring web-based information system design Proceedings of the 15th international conference on Advanced information systems engineering, (159-174)
- 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)
- 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)
- 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)
- 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)
- Bulka A Design pattern automation Proceedings of the 2002 conference on Pattern languages of programs - Volume 13, (1-10)
- Zhu Q, Gonçalves M and Fox E 5SGraph demo Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries, (385-385)
- 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)
- 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)
- 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)
- 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)
- van Lamsweerde A Goal-oriented requirements engineering Proceedings of the 25th International Conference on Software Engineering, (744-745)
- Marburger A and Westfechtel B Tools for understanding the behavior of telecommunication systems Proceedings of the 25th International Conference on Software Engineering, (430-441)
- Ray A and Cleaveland R Architectural Interaction Diagrams Proceedings of the 25th International Conference on Software Engineering, (396-406)
- Eden A and Kazman R Architecture, design, implementation Proceedings of the 25th International Conference on Software Engineering, (149-159)
- 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.
- Yablonsky S Russian morphology Proceedings of the 2003 EACL Workshop on Morphological Processing of Slavic Languages, (87-94)
- 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)
- 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.
- 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.
- Blake M An architecture to support distributed data retrieval in specialized formats Proceedings of the 2003 ACM symposium on Applied computing, (803-810)
- Hassell L and Holmes J Modeling the workflow of prescription writing Proceedings of the 2003 ACM symposium on Applied computing, (235-239)
- 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.
- 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.
- Lauesen S (2003). Task Descriptions as Functional Requirements, IEEE Software, 20:2, (58-65), Online publication date: 1-Mar-2003.
- 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.
- 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.
- 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.
- 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.
- 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.
- Kawaguchi A Capturing and analyzing requirement Proceedings of the 2003 Asia and South Pacific Design Automation Conference, (677-682)
- 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)
- Dobing B and Parsons J The role of use cases in the UML Advanced topics in database research vol. 1, (367-382)
- Price R, Tryfona N and Jensen C Extending UML for space- and time-dependent applications Advanced topics in database research vol. 1, (342-366)
- Whittle J Formal approaches to systems analysis using UML Advanced topics in database research vol. 1, (324-341)
- Halpin T Information analysis in UML and ORM Advanced topics in database research vol. 1, (307-323)
- Siau K and Cao Q How complex is the unified modeling language? Advanced topics in database research vol. 1, (294-306)
- 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)
- Balaban M and Shoval P Enforcing cardinality constraints in the ER model with integrity methods Advanced topics in database research vol. 1, (1-16)
- Yen V Systems analysis with workflow modeling Technologies & methodologies for evaluating information technology in business, (143-159)
- Snoeck M Sequence constraints in business modelling and business process modelling Enterprise information systems IV, (194-201)
- Edwards M and Green P UML for hardware and software object modeling UML for real, (127-147)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- Lee S, Ramakrishnan S and Wysk R General methodology 3 Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (1986-1994)
- Pllana S and Fahringer T Parallel and distributed systems Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (497-505)
- 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.
- Hoenicke J and Olderog E (2002). CSP-OZ-DC, Nordic Journal of Computing, 9:4, (301-334), Online publication date: 1-Dec-2002.
- 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.
- Sakkopoulos E and Tsakalidis A Utilizing complementary know-how Proceedings of the 30th annual ACM SIGUCCS conference on User services, (122-129)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- Huhns M Software agents Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services, (1-18)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Grassi V and Mirandola R PRIMAmob-UML Proceedings of the 3rd international workshop on Software and performance, (262-274)
- 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)
- Williams L and Smith C PASASM Proceedings of the 3rd international workshop on Software and performance, (179-189)
- 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)
- 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)
- Petriu D and Woodside M Analysing software requirements specifications for performance Proceedings of the 3rd international workshop on Software and performance, (1-9)
- 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)
- Huget M Extending agent UML sequence diagrams Proceedings of the 3rd international conference on Agent-oriented software engineering III, (150-161)
- 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)
- 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)
- 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)
- 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)
- 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)
- Ambriola V and Kmiecik A Architectural transformations Proceedings of the 14th international conference on Software engineering and knowledge engineering, (275-278)
- 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)
- Sourrouille J and Caplat G Constraint checking in UML modeling Proceedings of the 14th international conference on Software engineering and knowledge engineering, (217-224)
- 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)
- Gonçalves M and Fox E 5SL Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries, (263-272)
- 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)
- 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.
- Wyner G and Lee J (2002). Process Specialization, Computational & Mathematical Organization Theory, 8:2, (133-155), Online publication date: 1-Jul-2002.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- Jadhav B Revolutionizing software development Proceedings of the 3rd international conference on Software engineering and middleware, (233-237)
- 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)
- Greenhouse A and Scherlis W Assuring and evolving concurrent programs Proceedings of the 24th International Conference on Software Engineering, (453-463)
- 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)
- Woodside M, Petriu D and Siddiqui K Performance-related completions for software specifications Proceedings of the 24th International Conference on Software Engineering, (22-32)
- 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)
- 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)
- Shomrat M and Yehudai A Obvious or not? Proceedings of the 1st international conference on Aspect-oriented software development, (3-9)
- Johnsen E and Owe O Composition and Refinement for Partial Object Specifications Proceedings of the 16th International Parallel and Distributed Processing Symposium
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- El-Ansary A Behavioral Pattern Analysis Proceedings of the 2002 ACM symposium on Applied computing, (984-991)
- 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)
- 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.
- 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.
- 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)
- Shirogane J and Fukazawa Y GUI prototype generation by merging use cases Proceedings of the 7th international conference on Intelligent user interfaces, (222-223)
- 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.
- Dahl O The roots of object orientation Software pioneers, (78-90)
- Dittrich K and Vaduva A Data and knowledge in database systems Handbook of data mining and knowledge discovery, (96-98)
- Engels G and Groenewegen L Towards team-automata-driven object-oriented collaborative work Formal and natural computing, (257-276)
- Deprettere E, Rijpkema E and Kienhuis B Translating imperative affine nested loop programs into process networks Embedded processor design challenges, (89-111)
- 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.
- Roantree M (2002). Metadata management in federated multimedia systems, Australian Computer Science Communications, 24:2, (147-155), Online publication date: 1-Jan-2002.
- Routledge N, Bird L and Goodchild A UML and XML schema Proceedings of the 13th Australasian database conference - Volume 5, (157-166)
- Roantree M Metadata management in federated multimedia systems Proceedings of the 13th Australasian database conference - Volume 5, (147-155)
- 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.
- 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.
- 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.
- 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.
- Dwyer T Three dimensional UML using force directed layout Proceedings of the 2001 Asia-Pacific symposium on Information visualisation - Volume 9, (77-85)
- Sircar S, Nerur S and Mahapatra R (2001). Revolution or evolution?, MIS Quarterly, 25:4, (457-471), Online publication date: 1-Dec-2001.
- 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.
- 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
- Ledang H and Souquières J Modeling Class Operations in B Proceedings of the 16th IEEE international conference on Automated software engineering
- 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
- Alur R and Grosu R Shared Variables Interaction Diagrams Proceedings of the 16th IEEE international conference on Automated software engineering
- Ardourel G and Huchard M AGATE, Access Graph-Based Tools for Handling Encapsulation Proceedings of the 16th IEEE international conference on Automated software engineering
- Andrade L, Fiadeiro J and Wermelinger M Enforcing Business Policies Through Automated Reconfiguration Proceedings of the 16th IEEE international conference on Automated software engineering
- 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
- 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)
- 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)
- 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)
- He C and Ma C Measuring Behavioral Correspondence to a Timed Concurrent Model Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- de Lemos R Describing Evolving Dependable Systems using Co-operative Software Architectures Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Armaroli C WebFabIS Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Ricca F and Tonella P Web Application Slicing Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- 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
- Sekaran K Development of a Link Layer Protocol Using UML Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
- 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)
- 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.
- Rajlich V Role of concepts in software evolution Proceedings of the 4th International Workshop on Principles of Software Evolution, (75-78)
- 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)
- Wakeling D A design methodology for functional programs Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation, (146-161)
- 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)
- Shalyto A and Tukkel' N (2001). SWITCH Technology, Programming and Computing Software, 27:5, (260-276), Online publication date: 1-Sep-2001.
- Filho W (2001). Requirements for an educational software development process, ACM SIGCSE Bulletin, 33:3, (65-68), Online publication date: 1-Sep-2001.
- 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.
- Sinnott R and Hogrefe D Finite state machine based Formal methods for distributed processing, (55-76)
- Bakshi A, Prasanna V and Ledeczi A MILAN Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, (82-93)
- Bakshi A, Prasanna V and Ledeczi A MILAN Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, (82-93)
- Bakshi A, Prasanna V and Ledeczi A (2001). MILAN, ACM SIGPLAN Notices, 36:8, (82-93), Online publication date: 1-Aug-2001.
- 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)
- 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)
- 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)
- Gomaa H Designing concurrent, distributed, and real-time applications with UML Proceedings of the 23rd International Conference on Software Engineering, (737-738)
- 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)
- Uchitel S and Kramer J A workbench for synthesising behaviour models from scenarios Proceedings of the 23rd International Conference on Software Engineering, (188-197)
- 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)
- Ricca F and Tonella P Analysis and testing of Web applications Proceedings of the 23rd International Conference on Software Engineering, (25-34)
- 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.
- Damm W and Harel D (2001). LSCs, Formal Methods in System Design, 19:1, (45-80), Online publication date: 1-Jul-2001.
- 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)
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- He X and Ding Y Object orientation in hierarchical predicate transition nets Concurrent object-oriented programming and petri nets, (196-215)
- 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.
- 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.
- Martin G, Lavagno L and Louis-Guerin J Embedded UML Proceedings of the ninth international symposium on Hardware/software codesign, (23-28)
- 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
- 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.
- Hars A (2001). Designing Scientific Knowledge Infrastructures, Information Systems Frontiers, 3:1, (63-73), Online publication date: 1-Mar-2001.
- 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.
- 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.
- 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)
- 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.
- Bolignano D, Le Métayer D and Loiseaux C Formal methods in practice Modeling and verification of parallel processes, (169-180)
- 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)
- Merz S Model checking Modeling and verification of parallel processes, (3-38)
- Ahronovitz Y and Huchard M Exceptions in object modeling Advances in exception handling techniques, (77-93)
- Eckert C (2001). The Communication Bottleneck in Knitwear Design, Computer Supported Cooperative Work, 10:1, (29-74), Online publication date: 1-Jan-2001.
- 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)
- 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)
- Richter H and März L Toward a standard process Proceedings of the 32nd conference on Winter simulation, (394-398)
- 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.
- 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
- Chan Y and Suwanda H Designing multinational online stores Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- Wu C and Simmons D Software Project Planning Associate (SPPA) 24th International Computer Software and Applications Conference, (305-310)
- He X Formalizing UML Class Diagrams 24th International Computer Software and Applications Conference, (217-222)
- 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)
- 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)
- 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)
- Simmons D and Wu C Plan Tracking Knowledge Base 24th International Computer Software and Applications Conference, (299-304)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- Larsen G (2000). Component-based enterprise frameworks, Communications of the ACM, 43:10, (24-26), Online publication date: 1-Oct-2000.
- Armour P (2000). The five orders of ignorance, Communications of the ACM, 43:10, (17-20), Online publication date: 1-Oct-2000.
- Sutherland K (2000). Book reviews, intelligence, 11:3, (47-54), Online publication date: 1-Sep-2000.
- 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)
- 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)
- 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)
- 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)
- Whisnant K, Kalbarczyk Z and Iyer R Micro-Checkpointing Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
- 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.
- 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)
- 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)
- 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
- 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)
- Gomaa H Designing real-time and distributed applications with the UML (tutorial session)4 Proceedings of the 22nd international conference on Software engineering
- Nickel U, Niere J and Zündorf A The FUJABA environment Proceedings of the 22nd international conference on Software engineering, (742-745)
- Emmerich W, Mascolo C and Finkelsteiin A Implementing incremental code migration with XML Proceedings of the 22nd international conference on Software engineering, (397-406)
- 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)
- Blake B and Bose P An agent approach to alleviating packaging mismatch Proceedings of the fourth international conference on Autonomous agents, (64-69)
- 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.
- 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)
- Engels G and Groenewegen L Object-oriented modeling Proceedings of the Conference on The Future of Software Engineering, (103-116)
- 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)
- 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)
- Neal E A new UML-compatible object relationship notation (ORN) Proceedings of the 38th annual ACM Southeast Conference, (179-183)
- Gray J and Schach S Constraint animation using an object-oriented declarative language Proceedings of the 38th annual ACM Southeast Conference, (1-10)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- Ś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)
- 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
- 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)
- 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.
- 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.
- Chen J (1999). On Verifying Distributed Multithreaded Java Programs, Software Quality Journal, 8:4, (321-341), Online publication date: 1-Dec-1999.
- 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
- 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)
- 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)
- 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.
- Soundarajan N and Fridella S Modeling exceptional behavior Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (691-704)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Clark T Typechecking UML static models Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (503-517)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Hilliard R Using the UML for architectural description Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (32-48)
- 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)
- 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)
- 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)
- Kersten M and Murphy G (1999). Atlas, ACM SIGPLAN Notices, 34:10, (340-352), Online publication date: 1-Oct-1999.
- 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.
- Kersten M and Murphy G Atlas Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (340-352)
- 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)
- Conallen J (1999). Modeling Web application architectures with UML, Communications of the ACM, 42:10, (63-70), Online publication date: 1-Oct-1999.
- 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.
- Selic B (1999). Turning clockwise, Communications of the ACM, 42:10, (46-54), Online publication date: 1-Oct-1999.
- 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.
- Booch G (1999). UML in action, Communications of the ACM, 42:10, (26-28), Online publication date: 1-Oct-1999.
- 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)
- 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)
- Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
- 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
- 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
- Gomaa H Inter-agent communication in cooperative information agent-based systems Proceedings of the 3rd international conference on Cooperative information agents III, (137-148)
- 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)
- 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.
- 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)
- Griss M Architecting for large-scale systematic component reuse Proceedings of the 21st international conference on Software engineering, (615-616)
- 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)
- 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)
- 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
- 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.
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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)
- Evans A Reasoning with UML Class Diagrams Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
- 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)
- 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.
- Karhinen A, Ran A and Tallgren T Configuring designs for reuse Proceedings of the 1997 symposium on Software reusability, (199-208)
- 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)
- 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)
Index Terms
- The Unified Modeling Language user guide
Recommendations
Unified Modeling Language (UML): A Critical Evaluation and Suggested Future
HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3The Unified Modeling Language (UML) represents a significant milestone in the evolution of software methods, since it provides the first industry standard object oriented modeling notation, supported by a fairly comprehensive meta-model. It has enjoyed ...
A semiotic analysis of unified modeling language graphical notations
Unified modeling language (UML) is the standard modeling language for object-oriented system development. Despite its status as a standard, UML has a fuzzy formal specification and a weak theoretical foundation. Semiotics, the study of signs, provides a ...