|
|
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 |
37 | Sébastien Gérard, François Terrier |
UML for Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 17-51, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Martyn Edwards, Peter Green 0001 |
UML for Hardware and Software Object Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 127-147, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Bran Selic |
Modeling Quality of Service with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 189-204, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Bran Selic |
Models, Software Models and UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 1-16, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Øystein Haugen, Birger Møller-Pedersen, Thomas Weigert |
Structural Modeling with UML 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 53-76, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Dorina C. Petriu, C. Murray Woodside |
Performance Analysis with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 221-240, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Michael von der Beeck, Peter Braun 0003, Martin Rappl, Christian Schröder |
Automotive UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 271-299, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
UML and Platform-based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 107-126, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Thomas Weigert, Rick Reed |
Specifying Telecommunications Systems with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML for Real ![In: UML for Real - Design of Embedded Real-Time Systems, pp. 301-322, 2003, Kluwer, 978-1-4020-7501-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(3), pp. 164-186, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
36 | Marcela Genero, Luis Jiménez 0001, Mario Piattini |
A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings, pp. 372-383, 2002, Springer, 3-540-44087-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML class diagram structural complexity, UML class diagram modifiability, structural complexity metrics, fuzzy rule system, prediction model, empirical validation |
36 | James F. Power, Brian A. Malloy |
Symbol Table Construction and Name Lookup in ISO C++. ![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. 57-69, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
name lookup, ISO C++ language, symbol table construction, UML class, decorator, facade, model understandability, ISO C++ standard, C++ understandability, UML knowledge, parser front-end, name lookup problem, component approach, compiler technology, parser driven applications, front-end development, user interfaces, Unified Modeling Language, reverse engineering, specification languages, program compilers, grammars, object oriented model, object oriented framework, table lookup, sequence diagrams, software standards, ISO standards, C++ language |
36 | Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001 |
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 82-91, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis |
36 | Aline Lúcia Baroni |
Quantitative assessment of UML dynamic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 366-369, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics |
36 | Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang |
Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 3rd International Conference on Cyberworlds (CW 2004), 18-20 November 2004, Tokyo, Japan, pp. 162-169, 2004, IEEE Computer Society, 0-7695-2140-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension |
34 | Nima Kaveh, Wolfgang Emmerich |
Deadlock detection in distribution object systems. ![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. 44-51, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
object middleware, model checking, UML, UML, process algebra |
34 | Jean Brodeur, Yvan Bédard, Marie-Josée Proulx |
Modelling geospatial application databases using UML-based repositories aligned with international standards in geomatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-GIS ![In: ACM-GIS 2000, Proceedings of the Eighth ACM Symposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington D.C., USA, pp. 39-46, 2000, ACM, 1-58113-319-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ISO/TC 211, feature catalogue, geographic information standard, geospatial database modelling, geospatial repository, perceptory, UML, UML, interoperability, metadata, OGC |
33 | Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar |
Ensuring spatio-temporal access control for real-world applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009, Stresa, Italy, June 3-5, 2009, Proceedings, pp. 13-22, 2009, ACM, 978-1-60558-537-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spatio-temporal rbac, alloy, uml |
33 | Luigi Lavazza, Vieri Del Bianco |
A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: Software Process and Product Measurement, International Conferences IWSM 2009 and Mensura 2009, Amsterdam, The Netherlands, November 4-6, 2009. Proceedings, pp. 101-121, 2009, Springer, 978-3-642-05414-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
COSMIC method case study, measurement-oriented modelling, UML, requirements modelling, Functional Size Measurement |
33 | Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001 |
Visualizing Design Patterns in Their Applications and Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(7), pp. 433-453, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Web service, UML, Design pattern, model-driven architecture, visual tool |
33 | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 286-301, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, performance analysis, security analysis, process calculi |
33 | Jörg Gericke, Peter Liggesmeyer |
Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 17(2), pp. 60-67, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Softwareanforderung, Anforderungsverfolgung, Sicherheit (safety), UML |
33 | Harald Störrle |
Towards clone detection in UML domain models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 285-293, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML, clone detection |
33 | Chun Ruan, Ewa Huebner |
Formalizing Computer Forensics Process with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 184-189, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computer forensics process, UML, system modeling |
33 | Marco Brambilla 0001, Christina Tziviskou |
An Online Platform for Semantic Validation of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings, pp. 477-480, 2009, Springer, 978-3-642-02817-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML |
33 | Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein |
Supporting UML-based development of embedded systems by formal techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(2), pp. 131-155, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Formal methods |
33 | Yann Thierry-Mieg, Lom-Messan Hillah |
UML behavioral consistency checking using instantiable Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 293-300, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Behavioral consistency, Model checking, UML, Petri nets, Formal verification |
33 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(2), pp. 161-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
33 | Sabnam Sengupta, Swapan Bhattacharya |
Formalization of UML diagrams and their consistency verification: A Z notation based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 151-152, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram |
33 | Nasreddine Aoumeur, Gunter Saake |
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings, pp. 393-404, 2008, Springer, 978-3-540-78941-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic |
33 | Jaeyong Park, David C. Rine, Elizabeth White |
Assessing conformance of pattern-based design in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 298-303, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pattern-based design, UML, design pattern, profile, assessment |
33 | Vahid Garousi |
Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 92-101, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Time Uncertainty, UML, Distributed Real-Time Systems, Stress Testing |
33 | Holger Eichelberger |
Automatic layout of UML use case diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008, pp. 105-114, 2008, ACM, 978-1-60558-112-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic layout algorithms, drawing rules, UML, model-driven development, use case diagrams |
33 | Raimund Dachselt, Mathias Frisch, Eike Decker |
Enhancing UML sketch tools with digital pens and paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2008 Symposium on Software Visualization, Ammersee, Germany, September 16-17, 2008, pp. 203-204, 2008, ACM, 978-1-60558-112-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, software design, sketching, Anoto |
33 | Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
OCL as the Query Language for UML Model Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 311-320, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, MDA, query language, OCL |
33 | Pedro Nogueira Ramos |
Contrary-to-Duties Constraints: From UML to Relational Model. ![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. 460-474, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Contrary-To-Duties, Deontic Constraints, UML, Relational Model |
33 | Franck Barbier |
Supporting the UML State Machine Diagramsat Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 338-348, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Statecharts, model executability |
33 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: A Formal Proof Environment for UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 97-100, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
holocl, ocl, Formal Method, Theorem Proving, uml |
33 | Ali Ebnenasir, Betty H. C. Cheng |
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 275-282, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FormalMethods, Fault-Tolerance, UML, Requirements Analysis, Detector |
33 | Dolev Dotan, Andrei Kirshin |
Debugging and testing behavioral UML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 838-839, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, software development, debugging, profiles, state machines, activities |
33 | Martin Soukup, Jiri Soukup |
The popularity cycle of graphical tools, UML, and libraries of associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 753-756, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intrusive data structures, model, UML, unified modelling language, design patterns, MDA, reusable, association, MDE, model driven, class library, agile programming |
33 | Marcin Szlenk |
UML Static Models in Formal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers, pp. 129-142, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, Software modeling, Formal reasoning |
33 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
Preface of "Specification and Validation of Real Time and Embedded systems in UML". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 93-96, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modeling, UML, Real time, Semantics, Formal verification, Software development, Validation |
33 | Susanne Graf, Ileana Ober, Iulian Ober |
A real-time profile for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 113-127, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Real-time profile, Modeling, Real-time systems, UML, Formal verification, Timing analysis, OMEGA, Timing properties |
33 | Christine Choppy, Gianna Reggio |
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 19-28, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Requirements Specification, Domain Model, Enterprise Applications, Problem Frames |
33 | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
Transformation of B specifications into UML class diagrams and state machines. ![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. 1840-1844, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, state machine, B method, class diagram |
33 | Terrence P. Fries |
A framework for transforming structured analysis and design artifacts to UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 24th Annual International Conference on Design of Communication, SIGDOC 2006, Myrtle Beach, SC, USA, October 18-20, 2006, pp. 105-112, 2006, ACM, 1-59593-523-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
structured analysis and design, UML, class diagram, sequence diagram, data flow diagram, entity relationship diagram |
33 | Scott A. Turner, Manuel A. Pérez-Quiñones, Stephen H. Edwards |
minimUML: A minimalist approach to UML diagramming for early computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 5(4), pp. 1:1-1:28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
minimalist design, human-computer interaction, UML, learning, education |
33 | Xavier Sautejeau |
Modeling SPARK systems with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 11-16, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, ada, profile, metamodel, informed, SPARK |
33 | Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins |
UMLAnT: an Eclipse plugin for animating and testing UML designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 120-124, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing |
33 | Chih-Hao Tseng, Pao-Ann Hsiung |
UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 479-488, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
FPGA, UML, partitioning, reconfigurable computing, codesign, sequence diagram, design flow |
33 | Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams |
From UML models to software performance results: an SPE process based on XML interchange formats. ![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. 87-98, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SPE process, automated model building, methods and tools, XML, UML, performance model, software performance engineering, tool interoperability, interchange format |
33 | Jan Jürjens |
Sound methods and effective tools for model-based security engineering with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 322-331, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol |
33 | Lori L. DeLooze |
Minimal UML diagrams for a data-driven web site. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 229-232, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
models, design, UML, analysis |
33 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
A Tool-Supported Approach to Testing UML Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 519-528, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams |
33 | C. T. Carr, T. Martin McGinnity, L. J. McDaid |
Integration of UML and VHDL-AMS for analogue system modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(1), pp. 80-94, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Analogue, Automated mapping, UML, Circuits, VHDL-AMS |
33 | Jan Jürjens, Pasha Shabalin |
A Foundation for Tool-Supported Critical Systems Development with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 398-405, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems |
33 | Jing Liu, Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li |
Linking UML Models of Design and Requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia, pp. 329-338, 2004, IEEE Computer Society, 0-7695-2089-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, semantics, consistency |
33 | Nuno Amálio, Susan Stepney, Fiona Polack |
Formal Proof from UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 418-433, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, consistency checking, formal proof, model analysis |
33 | Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li |
A Predicative Semantic Model for Integrating UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 170-186, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Refinement, Formal semantics, Model integration |
33 | Jessica Chen, Hanmei Cui |
Translation from Adapted UML to Promela for CORBA-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 234-251, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification |
33 | Sergio Luján-Mora, Panos Vassiliadis, Juan Trujillo 0001 |
Data Mapping Diagrams for Data Warehouse Design with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 191-204, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, data warehouse, ETL, data mapping |
33 | Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries |
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 468-482, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model |
33 | Tiberiu Seceleanu, Juha Plosila |
Constituent Elements of a Correctness-Preserving UML Design Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 227-246, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, refinement, Action Systems |
33 | Claudio Riva, Petri Selonen, Tarja Systä, Jianli Xu |
UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 50-59, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Architecture Maintenance, UML, Software Architecture, Reverse Engineering, Architecture Analysis |
33 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 641-664, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
33 | Shihong Huang, Scott R. Tilley |
Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 11th International Workshop on Program Comprehension (IWPC 2003), May 10-11, 2003, Portland, Oregon, USA, pp. 281-282, 2003, IEEE Computer Society, 0-7695-1883-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UML, assessment, program understanding, graphical documentation |
33 | Juan Trujillo 0001, Sergio Luján-Mora |
A UML Based Approach for Modeling ETL Processes in Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings, pp. 307-320, 2003, Springer, 3-540-20299-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ETL processes, UML, conceptual modeling, Data warehouses |
33 | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
Test Adequacy Assessment for UML Design Model Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 332-346, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram |
33 | Nuno Amálio, Fiona Polack |
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 339-358, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formalisation, UML, specification, Z, Object-Z |
33 | Thomas Kudrass, Tobias Krumbein |
Rule-Based Generation of XML DTDs from UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings, pp. 339-354, 2003, Springer, 3-540-20047-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
schema generation, XML, UML, DTD |
33 | Gonzalo Génova, Juan Lloréns, Paloma Martínez |
The meaning of multiplicity of n-ary associations in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 1(2), pp. 86-97, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ternary association, n-ary association, ternary relationship, n-ary relationship, UML, data modeling, multiplicity, entity-relationship modeling, cardinality |
33 | Mohamed Mancona Kandé, Valentin Crettaz, Alfred Strohmeier, Shane Sendall |
Bridging the gap between IEEE 1471, an architecture description language, and UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 1(2), pp. 113-129, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ANSI/IEEE-Std-1471, SADL, Advanced separation of concerns, MDSOC, Concern space, UML, Software architecture, Views, ADL, Viewpoints, Architecture description |
33 | Cris Kobryn |
Will UML 2.0 be agile or awkward? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 45(1), pp. 107-110, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML |
33 | Hung Ledang, Jeanine Souquières |
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. ![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. 495-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
OCL operation, B expression, B generalised substitution, UML, OCL |
33 | Ganesh J. Pai, Joanne Bechta Dugan |
Automatic Synthesis of Dynamic Fault Trees from UML System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA, pp. 243-256, 2002, IEEE Computer Society, 0-7695-1763-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault tree synthesis, UML, Reliability analysis, Dynamic fault trees |
33 | Stephan Flake, Wolfgang Müller 0003 |
Specification of Real-Time Properties for UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 277, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, Object Constraint Language, Real-Time Constraints, Property Specification |
33 | Ricardo Melo Bastos, Duncan Dubugras A. Ruiz |
Extending UML Activity Diagram for Workflow Modeling in Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 291, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, production systems, workflow modeling |
33 | Wai-Ming Ho, Jean-Marc Jézéquel, François Pennaneac'h, Noël Plouzeau |
A toolkit for weaving aspect oriented UML designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development, AOSD 2002, University of Twente, Enschede, The Netherlands, April 22-26, 2002, pp. 99-105, 2002, ACM, 1-58113-469-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML |
33 | Gordon Ping Gu, Dorina C. Petriu |
XSLT transformation from UML models to LQN performance models. ![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. 227-234, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML, XSLT, software performance engineering, XMI, LQN |
33 | Luciano Baresi, Franca Garzotto, Paolo Paolini |
Extending UML for Modeling Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML, Web applications, Web Design, HDM |
33 | Brian Henderson-Sellers |
Some Problems with the UML V1.3 Metamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML, aggregation, metamodeling, Object modeling, stereotypes |
33 | Katharina Mehner, Annika Wagner |
Visualizing the Synchronization of Java-Threads with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 2000 IEEE International Symposium on Visual Languages, VL 2000, Seattle, Washington, USA, September 10-13, 2000, Proceedings., pp. 199-206, 2000, IEEE Computer Society, 0-7695-0840-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization |
33 | Wai-Ming Ho, François Pennaneac'h, Noël Plouzeau |
UMLAUT: A Framework for Weaving UML-Based Aspect-Oriented Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 324-, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML, Aspect-Oriented Programming, Model Transformation, Object-oriented Framework |
33 | Martin Glinz |
Problems and Deficiencies of UML as a Requirements Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 11-22, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
model, UML, decomposition, use case, requirements specification |
33 | Zhiwu Xie, Jun Yu, Jinyang Liu |
Applying UML to Gas Turbine Engine Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 458-464, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
gas turbines, simulation, UML, Object-oriented analysis and design |
33 | Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schürr |
UML + ROOM as a Standard ADL? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), October 18-22, 1999, Las Vegas, NV, USA, pp. 43-53, 1999, IEEE Computer Society, 0-7695-0434-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ROOM, Unified Modeling Language, UML, Software Architecture, Software Components, Architecture Description Language, Real-Time Object-Oriented Modeling |
33 | Ke Ge, Li Zhang, Shunxiang Yang, Bosheng Zhou |
A Development and Management Environment Based on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 214-221, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
UML, object-oriented, process, development, environment |
33 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Alexander T. Murray, Mohammad Shahabuddin |
OO techniques applied to a real-time, embedded, spaceborne application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 830-838, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
unified modeling language, real-time, C++, embedded, object-oriented design, use case, object-oriented analysis |
33 | Miroslaw Staron, Ludwik Kuzniarz, Christian Thurn |
An empirical assessment of using stereotypes to improve reading techniques in software inspections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tim Schattkowsky, Wolfgang Müller 0003, Achim Rettberg |
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 692-697, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Radmila Juric, Jasna Kuljis |
Building an Evaluation Instrument for OO CASE Tool Assessment for Unified Modelling Language Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
2nd UML 2 Semantics Symposium: Formal Semantics for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 318-323, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal Semantics |
33 | Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh |
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 126-135, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Anis Charfi, Artur Schmidt, Axel Spriestersbach |
A Hybrid Graphical and Textual Notation and Editor for UML Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, pp. 237-252, 2009, Springer, 978-3-642-02673-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Gongzhu Hu |
A Formal Specification of UML Class and State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ![In: Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 247-257, 2008, Springer, 978-3-540-70559-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Erki Eessaar |
On Translation-Based Design of UML Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education ![In: Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, Proceedings of the 2007 International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 2007), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 144-149, 2008, Springer, 978-1-4020-8738-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger |
Commandments of UML for Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 58, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani |
ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 50, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|