|
|
Venues (Conferences, Journals, ...)
|
|
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 |
46 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 574-588, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority |
46 | Claudius Heitz, Peter Thiemann 0001, Thomas Wölfle |
Integration of an Action Language Via UML Action Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEAA ![In: Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers, pp. 172-186, 2006, Springer, 978-3-540-75911-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML Action Language, UML Action Semantics, model to code transformation, Model Driven Architecture (MDA), behavioral modeling |
46 | Nathalie Moreno, Piero Fraternali, Antonio Vallecillo |
A UML 2.0 profile for WebML modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE Workshops ![In: Workshop Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006, pp. 4, 2006, ACM, 1-59593-435-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, metamodels, UML profiles, WebML |
46 | Dabo Sun, Kenny Wong |
On Evaluating the Layout of UML Class Diagrams for Program Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, MO, USA, pp. 317-326, 2005, IEEE Computer Society, 0-7695-2254-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
perceptual theory, UML modeling tools, aesthetics, graph layout, UML class diagrams |
46 | Amjad Hudaib, Carlo Montangero |
A UML Profile to Support the Formal Presentation of Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 217-223, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Software Architecture Patterns, Oikos_adtl, Software Architecture, UML Extensions, UML Diagrams |
46 | Albert Zündorf |
From use cases to code---rigorous software development with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 324-325, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
object-oriented applications, UML, UML, CASE tools, development processes, software development methods |
46 | Liliana Favre, Liliana Martinez, Claudia Pereira |
Transforming UML Static Models into Object-Oriented Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 170-181, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts |
46 | Peter Graubmann, Ekkart Rudolph |
HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 32-46, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO |
45 | Frank Alexander Kraemer, Peter Herrmann |
Automated Encapsulation of UML Activities for Incremental Development and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 571-585, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition |
43 | Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins |
Modeling software architectures in the Unified Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(1), pp. 2-57, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Wright, Unified Modeling Language, software architecture, object-oriented design, formal modeling, Object Constraint Language, C2, Rapide |
43 | Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen 0027, Jianhua Zhao |
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 487-490, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Ilkyu Ha, Byunguk Kang |
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 436-443, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Abdelouahed Gherbi, Ferhat Khendek |
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 412-419, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 286-293, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | John Mullins, Raveca Oarga |
Model Checking of Extended OCL Constraints on UML Models in SOCLe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 59-75, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Abdelouahed Gherbi, Ferhat Khendek |
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, pp. 34-48, 2006, Springer, 3-540-68371-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Chong-Won Lee, Jongdae Han, Jaekeun Shim, Chunwoo Lee, Taeksu Kim, Yoohoon Kang, Byungjeong Lee, Chisu Wu |
Extending UML for Development of Distributed Control Systems with Heterogeneous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Fourth International Conference on Software Engineering, Research, Management and Applications (SERA 2006), 9-11 August 2006, Seattle, Washington, USA, pp. 339-345, 2006, IEEE Computer Society, 0-7695-2656-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Yu Li, Aijun An |
Representing UML Snowflake Diagram from Integrating XML Data Using XML Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEEC ![In: 2005 International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005), 9 April 2005, Tokyo, Japan, pp. 103-111, 2005, IEEE Computer Society, 0-7695-2401-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Bin Zhang 0031, Ye-Sho Chen |
Enhancing UML Conceptual Modeling through the Use of Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Simonetta Balsamo, Moreno Marzolla |
Performance evaluation of UML software architectures with multiclass Queueing Network models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005, pp. 37-42, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance modeling, queueing networks, software performance |
43 | Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun |
Precise Modeling of Design Patterns in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 252-261, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Marc-Philippe Huget |
Agent UML Class Diagrams Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services ![In: Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002 Agent-Related Workshops, Erfurt, Germany, October 7-10, 2002. Revised Papers, pp. 49-60, 2002, Springer, 3-540-00742-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Bruce Powel Douglass |
Real-Time UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 53-70, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington |
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Proceedings of the 1st International Workshop on Visualizing Software for Understanding and Analysis, VISSOFT 2002, Paris, France, June 26, 2002, pp. 13-22, 2002, IEEE Computer Society, 0-7695-1662-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann |
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 127-146, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Tony Wasserman |
Features of UML Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 522, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | Juan Trujillo 0001, Il-Yeol Song |
Preface to BP-UML 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 5, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Brian Dobing, Jeffrey Parsons |
Current Practices in the Use of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 2-11, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Francisco Martínez, José Ambrosio Toval Álvarez |
A Precise Approach for the Analysis of the UML Models Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 74-84, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez |
An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 12-22, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 229-243, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva |
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 71-98, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Hazem Hamed, Ashraf Salem |
UML-L: An UML Based Design Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 438-, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Niclas Bauer |
Deployment of SDL Systems Using UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 107-122, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Viviane Torres da Silva, Carlos José Pereira de Lucena |
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 9(1-2), pp. 145-189, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multi-agent system, UML, metamodel, modeling language, conceptual framework |
42 | Ana Erika Camargo Cruz |
Exploratory study of a UML metric for fault prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 361-364, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
CK metrics, fault-prone code, fault-proneness prediction, UML, logistic regression |
42 | Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann |
Towards an integrated graph-based semantics for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(3), pp. 403-422, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Keyword UML diagram, Formal semantics, Graph transformation |
42 | Muhammad R. Abid 0001, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher |
A UML Profile for Goal-Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, pp. 133-148, 2009, Springer, 978-3-642-04553-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language |
42 | Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale |
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Quality of Software Architectures. Models and Architectures, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 86-102, 2008, Springer, 978-3-540-87878-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation, UML, Software Performance, Resource Modeling |
42 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 643-648, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML AD, workflow applications, Formal verification, Specification, Event B |
42 | M. Esperanza Manso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, pp. 303-313, 2008, Springer, 978-3-642-01647-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
experiments, comprehensibility, size, meta-analysis, structural complexity, modifiability, UML class diagrams |
42 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 475-489, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis |
42 | Rasha Tawhid, Dorina C. Petriu |
Towards automatic derivation of a product performance model from a UML software product line model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008, pp. 91-102, 2008, ACM, 978-1-59593-873-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model transformation, software product line, software performance engineering, uml, marte |
42 | Manar Al-Kady, Reem Bahgat, Aly A. Fahmy |
A UML Heavyweight Extension for MAS Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 435-440, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Metamodeling, Agent Oriented Software Engineering, UML extension |
42 | Eladio Domínguez, Jorge Lloret, Beatriz Pérez 0001, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata |
A Survey of UML Models to XML Schemas Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2007, 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings, pp. 184-195, 2007, Springer, 978-3-540-76992-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model Transformation, XML Schema, UML model |
42 | María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz 0001, Valentín Valero |
Using RT-UML for modelling web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 643-648, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RT-UML, web services, modeling, WS-BPEL, transformation rules |
42 | Eladio Domínguez, Jorge Lloret, Beatriz Pérez 0001, Áurea Rodríguez, Ángel Luis Rubio, María Antonia Zapata |
Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 44-53, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML Schema, Clinical Guideline, UML Class Diagram |
42 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(4), pp. 423-467, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
42 | Flávio Oquendo |
Formally modelling software architectures with the UML 2.0 profile for pi-ADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(1), pp. 1-13, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
?-ADL, UML 2.0 profile, architecture description language, software architecture modelling |
42 | Erik Arisholm, Lionel C. Briand, Siw Elisabeth Hove, Yvan Labiche |
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(6), pp. 365-381, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, experiment, Maintenance |
42 | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
Model Checking Dynamic UML Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 440-459, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Algorithm, Model Checking, UML, Semantics, Consistency |
42 | Nicolas Guelfi, Amel Mammar |
A formal framework to generate XPDL specifications from UML activity diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1224-1231, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XPDL language, transformations, correctness proofs, UML activity diagrams |
42 | Hugues Malgouyres, Gilles Motet |
A UML model consistency verification approach based on meta-modeling formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1804-1809, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML verification, consistency rules, meta-modeling, constraint logic programming |
42 | Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren |
UML for ESL design: basic principles, tools, and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2006 International Conference on Computer-Aided Design, ICCAD 2006, San Jose, CA, USA, November 5-9, 2006, pp. 73-80, 2006, ACM, 1-59593-389-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulation, UML, SoC, tools, profiles, SystemC, ESL design |
42 | Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón |
Integrating agent-oriented methodologies with UML-AT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1303-1310, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
INGENIAS, Tropos, UML-AT, multi-agent systems, activity theory, method engineering, conceptual mappings |
42 | Atanas Rountev, Olga Volgin, Miriam Reddoch |
Static control-flow analysis for reverse engineering of UML sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 96-102, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML |
42 | Yasser Kotb, Takuya Katayama |
Consistency checking of UML model diagrams using the XML semantics approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 982-983, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, model checking, UML, attribute grammars, XMI |
42 | Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell |
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 63-78, 2005, Springer, 3-540-29389-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, Activity Diagrams, Workflow Patterns, YAWL |
42 | Gordon Ping Gu, Dorina C. Petriu |
From UML to LQN by XML algebra-based model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005, pp. 99-110, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN |
42 | Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl |
MAC and UML for secure software design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004, pp. 75-85, 2004, ACM, 1-58113-971-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
security, UML, software design, mandatory access control |
42 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Linking CSP-OZ with UML and Java: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 267-286, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, UML, CSP, assertions, Object-Z, runtime checking |
42 | Dazhou Kang, Baowen Xu, Jianjiang Lu, William C. Chu |
A Complexity Measure for Ontology Based on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), 26-28 May 2004, Suzhou, China, pp. 222-228, 2004, IEEE Computer Society, 0-7695-2118-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Ontology, UML, class diagrams, complexity measure |
42 | Jorge Enrique Pérez-Martínez |
Heavyweight extensions to the UML metamodel to describe the C3 architectural style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(3), pp. 5, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
C3 style, UML, component, metamodel, role, connector, port |
42 | Mathupayas Thongmak, Pornsiri Muenchaisri |
Design of Rules for Transforming UML Sequence Diagrams into Java code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 485-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, Class diagrams, Sequence diagrams, Transformation rules |
42 | Helen Treharne |
Supplementing a UML Development Process with B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 568-586, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
B-Method, Stereotyping, UML Class Diagrams |
42 | Dongxi Jin, David C. Levy |
An approach to schedulability analysis of UML-based real-time systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 243-250, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), real-time schedulability, transaction model |
42 | Joseph Gil, John Howse, Stuart Kent 0001 |
Advanced visual modelling: beyond UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 697-698, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML |
42 | Hung Ledang, Jeanine Souquières |
Modeling Class Operations in B: Application to UML Behavioral Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 289-296, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
class operation, B abstract machine(BAM), B operation, UML, B method |
42 | Edward Lank, Jeb S. Thorley, Sean Jy-Shyang Chen |
An interactive system for recognizing hand drawn UML diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada, pp. 7, 2000, IBM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
UML |
42 | Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
UMLAUT: An Extendible UML Transformation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 275-278, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques |
42 | Rallis Farfarakis |
Octopus/UML: Combining Objects with Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 479-489, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Octopus, UML, real-time, object-orientation, method |
42 | Jan Pettersen Nytun, Christian S. Jensen |
Modeling and Testing Legacy Data Consistency Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 341-355, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Pierre Metz, John O'Brien, Wolfgang Weber 0006 |
Against Use Case Interleaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 472-486, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers |
A Specification Model for Interface Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 457-471, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | María Victoria Cengarle, Alexander Knapp |
A Formal Semantics for OCL 1.4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 118-133, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 278-293, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Colin Atkinson 0001, Thomas Kühne 0001 |
Strict Profiles: Why and How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 309-322, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | David Garlan, Andrew Kompanek |
Reconciling the Needs of Architectural Description with Object-Modeling Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, pp. 498-512, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin |
Integrating a Security Requirement Language with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 350-364, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna |
Test Driven Development of UML Models with SMART Modeling System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 395-409, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | José Ambrosio Toval Álvarez |
Workshops at the UML 2004 Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 440-448, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Michal Smialek |
Profile Suite for Model Transformations on the Computation Independent Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 264-268, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Gonzalo Génova, Juan Llorens Morillo, Pierre Metz, Rubén Prieto-Díaz, Hernán Astudillo |
Open Issues in Industrial Use Case Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 52-61, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Alan Hartman, Kenneth Nagin |
The AGEDIS Tools for Model Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 277-280, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
SVERTS - Specification and Validation of Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 33-42, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Dominik Stein, Jörg Kienzle, Mohamed Kandé |
5th International Workshop on Aspect-Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 13-22, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva |
The ProjectIT-RSL Language Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 269-272, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Gregor Engels, Reiko Heckel, Jochen Malte Küster |
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 356-359, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Ana M. D. Moreira |
Workshops at the UML 2003 Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 403-409, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Jon Whittle 0001 |
Workshops and Tutorials at the UML 2002 Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 442-448, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Tim Schattkowsky, Marc Lohmann |
Rapid Development of Modular Dynamic Web Sites Using UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 336-350, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
WWW, Unified Modeling Language, Code Generation, Hypermedia, Object-Oriented Design |
42 | Friedrich Steimann, Thomas Kühne 0001 |
A Radical Reduction of UML's Core Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 34-48, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song |
Extending the UML for Multidimensional Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 290-304, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Thorsten Sturm, Jesco von Voss, Marko Boger |
Generating Code from UML with Velocity Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 150-161, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
Configuration Knowledge Representation Using UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 49-62, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Jan Øyvind Aagedal, Earl F. Ecklund Jr. |
Modelling QoS: Towards a UML Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 275-289, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Mei-Huei Tang, Mei-Hwa Chen |
Measuring OO Design Metrics from UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 368-382, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Marlon Dumas, Arthur H. M. ter Hofstede |
UML Activity Diagrams as a Workflow Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 76-90, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Heinrich Hußmann |
Workshops and Tutorials at the UML 2001 Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 503-508, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel |
Refactoring UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 134-148, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|