The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for uml with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-1997 (38) 1998 (88) 1999 (213) 2000 (327) 2001 (413) 2002 (469) 2003 (512) 2004 (683) 2005 (738) 2006 (762) 2007 (691) 2008 (640) 2009 (491) 2010 (344) 2011 (315) 2012 (230) 2013 (193) 2014 (205) 2015 (181) 2016 (173) 2017 (141) 2018 (134) 2019 (112) 2020 (106) 2021 (89) 2022 (77) 2023 (86) 2024 (5)
Publication types (Num. hits)
article(1511) book(68) data(4) incollection(157) inproceedings(6579) phdthesis(116) proceedings(21)
Venues (Conferences, Journals, ...)
UML(260) ER Workshops(239) MoDELS(150) Softw. Syst. Model.(125) ER (Workshops)(123) ICSE(95) CoRR(86) APSEC(77) SAC(70) SEKE(61) ACM SIGSOFT Softw. Eng. Notes(60) HICSS(60) ER(58) EDOC(57) J. Object Technol.(56) Inf. Softw. Technol.(54) More (+10 of total 1838)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6398 occurrences of 1806 keywords

Results
Found 8456 publication records. Showing 8456 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
105Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
99Wolfgang Mueller, Yves Vanderperren UML and model-driven development for SoC design. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, UML, SoC, tools, SystemC, UML profiles, ESL design
94Esperanza Marcos, Belén Vela, José María Cavero Extending UML for Object-Relational Database Design. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Oracle8i, UML, Design Methodology, Database Design, Stereotypes, Object-Relational Databases, UML extensions, SQL:1999
90Giovanni Giachetti, Beatriz Marín, Oscar Pastor 0001 Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles. Search on Bibsonomy CAiSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DSML, UML, MDD, UML Profile
86Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen Experiences from introducing UML-based development in a large safety-critical project. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Model-driven development, Embedded software, Case study, Safety-critical software
85Haohai Ma, Weizhong Shao, Lu Zhang 0023, Yanbing Jiang Applying OO Metrics to Assess UML Meta-models. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
82Ileana Ober More Meaningful UML Models. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
81Twan van Enckevort Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF syntactic rules, UML, metrics, OCL, semantic rules, model quality
80Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
75Paul McIntosh, Margaret Hamilton 0001, Ron G. van Schyndel X3D-UML: enabling advanced UML visualisation through X3D. Search on Bibsonomy Web3D The full citation details ... 2005 DBLP  DOI  BibTeX  RDF JavaML, X3D-UML, XML, UML, Unified Modeling Language, VRML, Virtual Reality Modeling Language, Software Visualization, X3D, Web3D
71Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag Deductive Verification of UML Models in TLPVS. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS
71Mohamed Mancona Kandé, Alfred Strohmeier Towards a UML Profile for Software Architecture Descriptions. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view
71Hanna Bauerdick, Martin Gogolla, Fabian Gutsche Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Ahmed Gaafar, Sherif Sakr Towards a Framework for Mapping Between UML/OCL and XML/XQuery. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, William S. Holmes III, Jerzy Letkowski, Michael L. Aronson Extending UML to Support Ontology Engineering for the Semantic Web. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
71Mark Richters, Martin Gogolla Validating UML Models and OCL Constraints. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
71Martin Gogolla, Brian Henderson-Sellers Analysis of UML Stereotypes within the UML Metamodel. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
70Shane Sendall, Alfred Strohmeier Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
70Qiang Zhu 0005, Tsuneo Nakata, Masataka Mine, Kenichiro Kuroki, Yoichi Endo, Takashi Hasegawa System-on-Chip Verification Process Using UML. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
70Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song Multidimensional Modeling with UML Package Diagrams. Search on Bibsonomy ER The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML packages, UML, data warehouses, multidimensional modeling, UML extension
67Grant Martin, Luciano Lavagno, Jean Louis-Guerin Embedded UML: a merger of real-time UML and co-design. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF HW-SW co-design, function-architecture co-design, real-time systems, UML, embedded systems, platforms
66Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso Towards UML-based formal specifications of component-based real-time software. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso Towards UML-Based Formal Specifications of Component-Based Real-Time Software. Search on Bibsonomy FASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
66Marko Boger, Mario Jeckle, Stefan Müller, Jens Fransson Diagram Interchange for UML. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
66Eugen Brenner, Ivo Derado UML Extensions for ASAM-GDI Device Capability Description. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
66Ke Jiang, Lei Zhang, Shigeru Miyake An Executable UML with OCL-based Action Semantics Language. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF UML, Model-Driven, Executable UML
66Steve Murphy, Neil MacKinnon Designing UML and UML-based diagrams for technical documentation: where are we now? Search on Bibsonomy SIGDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF visualization, UML, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
66Colin F. Snook, Michael J. Butler UML-B: Formal modeling and design aided by UML. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML-B, Modeling, refinement
66Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF UML semantics, extension mechanisms, dynamic meta modeling, multimedia, graph transformation
65Peter Dolog, Wolfgang Nejdl Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF adaptive web-based systems, the UML state diagrams, generator, XMI
65Eric Cariou, Antoine Beugnard The Specification of UML Collaborations as Interaction Components. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML collaborations, specification methodology, interaction abstractions, interaction components
65Michael von der Beeck Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic Software Architecture Description and UML. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Jan Jürjens, Pasha Shabalin Tools for Critical Systems Development with UML (Tool Demo). Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Paul McIntosh, Margaret Hamilton 0001, Ron G. van Schyndel X3D-UML: 3D UML State Machine Diagrams. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF X3D-UML, 3D UML, 3D Software Visualization, VRML, X3D
65Raoudha Ben Djemaa, Ikram Amous, Abdelmajid Ben Hamadou WA-UML: Towards a UML extension for modelling Adaptive Web Applications. Search on Bibsonomy WSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF WA-UML, Adaptive Web Application, analysis class diagram, navigational feature, UML profile, use case diagram
64Jung Ho Bae, KwangMin Lee, Heung Seok Chae Modularization of the UML Metamodel Using Model Slicing. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML metamodel, UML slicing, UML modeling tool
62Valentin Crettaz, Mohamed Mancona Kandé, Shane Sendall, Alfred Strohmeier Integrating the ConcernBASE Approach with SADL. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Structural Architecture Description, SADL, Advanced Separation of Concerns, Unified Modeling Language, UML, Software Architecture
62Colin F. Snook, Michael J. Butler UML-B: A Plug-in for the Event-B Tool Set. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Martin Fowler What Is the Point of the UML? Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Peter Fröhlich 0001, Zaijun Hu, Manfred Schoelzke Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Metamodelling, Business modelling, Industrial experience
62Sabri Pllana, Thomas Fahringer On Customizing the UML for Modeling Performance-Oriented Applications. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
62Michael von der Beeck Formalization of UML-Statecharts. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62David H. Akehurst, Behzad Bordbar On Querying UML Data Models with OCL. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
62Xuandong Li, Cui Meng, Yu Pei 0001, Jianhua Zhao, Guoliang Zheng Timing Analysis of UML Activity Diagrams. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
61Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra A framework to simulate UML models: moving from a semi-formal to a formal environment. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML models simulation, UML, Abstract State Machines, model mapping
61Andreas L. Opdahl, Brian Henderson-Sellers Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Problem domain representation, Ontological analysis and evaluation, The Bunge-Wand-Weber model (BWW), Unified Modeling Language (UML), Object-oriented analysis
61Jens Bæk Jørgensen, Søren Christensen Executable Design Models for a Pervasive Healthcare Middleware System. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF detailed behaviour, pervasive and mobile computing, supplementing UML, middleware, Petri nets, system design, Executable models, CPN
61Andreas Dietzsch Adapting the UML to Business Modelling's Needs - Experiences in Situational Method Engineering. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF linking business and technical requirements, application and extensions of the UML, situational method engineering
61Rolf Hennicker, Nora Koch A UML-based Methodology for Hypermedia Design. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Systematic Development, Unified Modeling Language, Web Engineering, Design Method, UML Extension, Hypermedia System
57Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli Combining UML and formal notations for modelling real-time systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF UML, UML, formal methods, real-time software
57Yvan Labiche The UML Is More Than Boxes and Lines. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF well-formedness rules, UML, consistency, teaching, laboratory
57Shihong Huang, Vaishali Gohel, Sam Hsu Towards interoperability of UML tools for exchanging high-fidelity diagrams. Search on Bibsonomy SIGDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model exchange, interoperability, uml, design reuse, xmi, graphical documentation
57Haohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang 0023 Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Meta-class, UML, Software Quality, Software evaluation
57Ansgar Schleicher, Bernhard Westfechtel Beyond Stereotyping: Metamodeling Approaches for the UML. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF UML, workflow management, meta modeling
57Dong Xu, Huaikou Miao, Nduwimfura Philbert Model Checking UML Activity Diagrams in FDR. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Andrey Naumenko, Alain Wegmann A Metamodel for the Unified Modeling Language. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Juan Trujillo 0001, Andreas L. Opdahl Preface to FP-UML 2008. Search on Bibsonomy ER Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Medard Rieder, Rico Steiner, Cathy Berthouzoz, Francois Corthay, Thomas Sterren Synthesized UML, a Practical Approach to Map UML to VHDL. Search on Bibsonomy RISE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Yanbing Jiang, Weizhong Shao, Lu Zhang 0023, Zhiyi Ma, Xiangwen Meng, Haohai Ma On the Classification of UML's Meta Model Extension Mechanism. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer Towards Automating Source-Consistent UML Refactorings. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France Rigorous Testing by Merging Structural and Behavioral UML Representations. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Jordi Cabot, Antoni Olivé, Ernest Teniente Representing Temporal Information in UML. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers Using Description Logic to Maintain Consistency between UML Models. Search on Bibsonomy UML The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Francesca Basanieri, Antonia Bertolino, Eda Marchetti The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Jan Jürjens UMLsec: Extending UML for Secure Systems Development. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
57Dániel Varró, András Pataricza Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. Search on Bibsonomy UML The full citation details ... 2002 DBLP  DOI  BibTeX  RDF refinement, model transformation, metamodeling, formal semantics, graph transformation
57Sabine Kuske A Formal Semantics of UML State Machines Based on Structured Graph Transformation. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat A New UML Profile for Real-Time System Formal Design and Validation. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Rik Eshuis, Roel J. Wieringa An Execution Algorithm for UML Activity Graphs. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Daniel Amyot, Gunter Mussbacher On the Extension of UML with Use Case Maps Concepts. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57Nuno Jardim Nunes, João Falcão e Cunha Towards a UML profile for interaction design: the Wisdom approach. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57Patricia Vilain, Daniel Schwabe, Clarisse Sieckenius de Souza A Diagrammatic Tool for Representing User Interaction in UML. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57Peter Padawitz Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57Christian Heide Damm, Klaus Marius Hansen, Michael Thomsen, Michael Tyrsted Supporting Several Levels of Restriction in the UML. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
57Peter Dolog, Wolfgang Nejdl Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. Search on Bibsonomy UML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan Test ready UML statechart models. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model based testing, context-free grammar, UML statecharts
56Neil MacKinnon, Steve Murphy Designing UML diagrams for technical documentation. Search on Bibsonomy SIGDOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
56Otto Preiss, Tatjana Kostic, Christian Frei Data Communications Standards: A Case for the UML. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Robert G. Pettit IV, Julie A. Street Lessons Learned Applying UML in the Design of Mission Critical Software. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Jeffrey A. Ingalsbe Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Chris Raistrick Applying MDA and UML in the Development of a Healthcare System. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Kevin Lano A compositional semantics of UML-RSDS. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML semantics, UML-RSDS, Model transformations
55Raul Silaghi, Alfred Strohmeier Model-Driven Engineering of Middleware-Mediated Distributed Systems. Search on Bibsonomy UML Satellite Activities The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Middleware Concerns, AOP, MDA, Model Transformations, AspectJ, UML Profiles, Eclipse Plug-ins, Parallax, Enterprise Fondue
53William Harrison, Charles Barton, Mukund Raghavachari Mapping UML designs to Java. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, Java, design, UML, UML, code generation, separation of concerns
53Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery Extending the Unified Modeling Language for ontology development. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF OO modeling, Ontology, Semantic web, UML, Agents, RDF, DAML
52Mar Yah Said, Michael J. Butler, Colin F. Snook Language and Tool Support for Class and State Machine Refinement in UML-B. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, Formal specification, Refinement, Event-B, Visual modelling languages
52Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska 0001 The HybridUML profile for UML 2.0. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Embedded systems, Hybrid automata
52Christian F. J. Lange Improving the quality of UML models in practice. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, consistency, quality, completeness, defect detection
52David Harel, Shahar Maoz Assert and negate revisited: modal semantics for UML sequence diagrams. Search on Bibsonomy SCESM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
52Lionel C. Briand, Yvan Labiche, Massimiliano Di Penta, Han (Daphne) Yan-Bondoc An Experimental Investigation of Formality in UML-Based Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Comprehension of software models, software engineering experimentation, UML, OCL
52Morgan Björkander, Cris Kobryn Architecting Systems with UML 2.0. Search on Bibsonomy IEEE Softw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Unified Modeling Language, UML, software architecture, systems architecture, systems modeling, software modeling
52Gordon Ping Gu, Dorina C. Petriu Early evaluation of software performance based on the UML performance profile. Search on Bibsonomy CASCON The full citation details ... 2003 DBLP  BibTeX  RDF UML
52Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt Automatically Detecting and Visualising Errors in UML Diagrams. Search on Bibsonomy Requir. Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Simulation, Model checking, UML, Formal specifications
52Hung Ledang, Jeanine Souquières Contributions for Modelling UML State-Charts in B. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
52Elisabetta Di Nitto, Luigi Lavazza, Marco Schiavoni, Emma Tracanella, Michele Trombetta Deriving executable process descriptions from UML. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML
52Gregor Engels, Reiko Heckel, Stefan Sauer 0001 UML - A Universal Modeling Language? Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram
52Anneke Kleppe, Jos Warmer Extending OCL to include Actions. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
52Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray On challenges of model transformation from UML to Alloy. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
52Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. Search on Bibsonomy ECMDA-FA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 8456 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license