|
|
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 |
28 | Dong Yang, Shen-sheng Zhang |
Using p - calculus to Formalize UML Activity Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 47-54, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Stephanie M. White, Murray Cantor, Sanford Friedenthal, Cris Kobryn, Byron Purves |
Panel: Extending UML from Software to Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 271-, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Susan Darling Urban, Suzanne W. Dietrich |
Using UML class diagrams for a comparative analysis of relational, object-oriented, and object-relational database mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2003, Reno, Nevada, USA, February 19-23, 2003, pp. 21-25, 2003, ACM, 1-58113-648-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
object-relational data model, unified modeling language, database design, schema mappings, relational model, entity-relationship model, object-oriented data model |
28 | Bernhard Bauer, Jörg P. Müller |
Using UML in the Context of Agent-Oriented Software Engineering: State of the Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers, pp. 1-24, 2003, Springer, 3-540-20826-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou |
Formalizing the Framework Design Language F-UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 164-172, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Grant Martin |
UML for Embedded Systems Specification and Design: Motivation and Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 773-775, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | João Araújo 0001, Jonathan Whittle 0001, José Ambrosio Toval Álvarez, Robert B. France |
Integration and Transformation of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings, pp. 184-191, 2002, Springer, 3-540-00233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Sabri Pllana, Thomas Fahringer |
Parallel and distributed systems: UML based modeling of performance oriented parallel and distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 497-505, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, pp. 233-252, 2002, Springer, 3-540-00877-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Georg Sonneck, Renate Motschnig-Pitrik, Thomas A. Mück |
Mapping UML Web Navigation Stereotypes to XML Data Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 294-303, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe |
Product Line Annotations with UML-F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002, Proceedings, pp. 188-197, 2002, Springer, 3-540-43985-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Torsten Heverhagen, Rudolf Tracht |
Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 395-402, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk |
A Timed Automata Semantics for Real-Time UML Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 88-95, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines. ![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. 315-318, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Petri Selonen, Tarja Systä, Kai Koskimies |
Generating Structured Implementation Schemes from UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (39) ![In: 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, TOOLS USA 2001, Santa Barbara, CA, USA, July 29 - August 3, 2001, pp. 317-330, 2001, IEEE Computer Society, 0-7695-1251-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Bill Taylor, Einar W. Karlsen |
Mapping UML to Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings, pp. 359-370, 2001, Springer, 3-540-42123-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Günter Graw, Peter Herrmann, Heiko Krumm |
Verification of UML-Based Real-Time System Designs by Means of cTLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 86-95, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Michel Bruel, Johan Lilius, Ana M. D. Moreira, Robert B. France |
Defining Precise Semantics for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP 2000 Workshops, Panels, and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 113-122, 2000, Springer, 3-540-41513-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Soon-Kyeong Kim, David A. Carrington |
A Formal Mapping between UML Models and Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 2-21, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 223-241, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Nuno Jardim Nunes, João Falcão e Cunha |
Wisdom - A UML Based Architecture for Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings, pp. 191-205, 2000, Springer, 3-540-41663-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 65-72, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Iulian Ober, Ileana Stan |
On the Concurrent Object Model of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 1377-1384, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Johan Lilius, Ivan Paltor |
vUML: A Tool for Verifying UML Models. ![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. 255-258, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Birgit Korherr, Beate List |
Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures and the Mapping to BPEL. ![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. 7-18, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Beate List, Birgit Korherr |
A UML 2 Profile for Business Process Modelling. ![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. 85-96, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Edgardo Belloni, Claudia A. Marcos |
MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 11-12 November 2004, Arica, Chile, pp. 3-13, 2004, IEEE Computer Society, 0-7695-2200-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Mikael Berndtsson, Bengt Calestam |
Graphical notations for active rules in UML and UML-A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(2), pp. 2, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Giovanni Giachetti, Manuela Albert, Beatriz Marín, Oscar Pastor 0001 |
Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 16(17), pp. 2353-2373, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Günther Pernul, Matti Rossi |
6th International Workshop on Foundations and Practices of UML (FP-UML 2010). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings, pp. 242, 2010, Springer, 978-3-642-16384-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Piotr Kosiuczenko |
Formal Redesign of UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 174-190, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Liliana Favre |
A Formal Mapping between UML Static Models and Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 113-127, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel |
Conformance Testing from UML Specifications. Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 43-55, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Rolf Hennicker, Nora Koch |
Modeling the User Interface of Web Applications with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 158-172, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 99-112, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Simon Pickin 0001, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray |
A UML-integrated Test Description Language for Component Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 208-223, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 192-206, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Geri Georg, Jores Bieman, Robert B. France |
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 128-141, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama |
An Axiomatic Formalization of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 13-28, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Alan Wills |
Catalytic Modeling: UML meets XP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 288-306, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer 0001 |
Identifying Semantic Dimensions of (UML) Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 142-157, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Thomas Stauner, Alexander Pretschner, Istran Péter |
Approaching a Discrete-Continuous UML: Tool Support and Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 242-257, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik |
Designing Procedural 4GL Applications through UML Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 69-85, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski |
Formal Verification of UML Diagrams: A First Step Towards Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 224-240, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Frédéric Mallet, Robert de Simone |
MARTE: a profile for RT/E systems modeling, analysis-and simulation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 43, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML profile, MARTE |
28 | Dragan Gasevic, Dragan Djuric, Vladan Devedzic |
MDA-based Automatic OWL Ontology Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(2), pp. 103-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model Driven Architecture, OWL, XSLT, UML Profile, Ontology development |
28 | Ali Ebnenasir, Betty H. C. Cheng |
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 115-141, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector |
28 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(3), pp. 181-193, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions |
28 | Thomas Fahringer, Sabri Pllana, Johannes Testori |
Teuta: Tool Support for Performance Modeling of Distributed and Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 456-463, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Distributed and Parallel Applications, Performance, UML, Modeling and Simulation |
28 | Stefano Ceri, Peter Dolog, Maristella Matera, Wolfgang Nejdl |
Model-Driven Design of Web Applications with Client-Side Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 201-214, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
WebML Modeling, UML, Personalization, Web Engineering |
28 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], pp. 148-172, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal logic, Runtime verification, UML statecharts |
28 | Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel |
Formalization of the Whole-Part Relationship in the Unified Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(5), pp. 459-470, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling |
28 | Matthias Beyer, Winfried Dulz |
Scenario-Based Statistical Testing of Quality of Service Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 152-173, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram |
28 | Anneke Kleppe, Jos Warmer |
The Semantics of the OCL Action Clause. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object Modeling with the OCL ![In: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pp. 213-227, 2002, Springer, 3-540-43169-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions |
28 | Franck Barbier |
Component-Based Design of Large-Scale Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 19-24, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Distributed Systems, UML, Software Components |
28 | Robert L. Nord, Daniel J. Paulish, Robert W. Schwanke, Dilip Soni |
Software architecture in a changing world: developing design strategies that anticipate change. ![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. 309-310, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML |
28 | Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
The FUJABA environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 742-745, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, UML |
28 | Vipin Saxena, Manish Shrivastava 0002 |
Performance of function point analysis through UML modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(2), pp. 1-4, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, software metrics, function point analysis, size estimation |
28 | Hector Miguel Chavez, Wuwei Shen, Shaoying Liu |
An approach to detection of UML-based ownership violation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 541-542, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, Eclipse, class diagram, ownership, model checker |
28 | Christine Choppy, Gianna Reggio |
A method for developing UML state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 382-388, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, state machine |
28 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
28 | Ariadi Nugroho, Michel R. V. Chaudron |
Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. ![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. 181-195, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, Complexity, Coupling, Case Study, Defect Density |
28 | Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos |
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 357-367, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Epsilon, UML, Model transformation, CSP, B |
28 | Dolors Costal, Cristina Gómez 0001, Anna Queralt, Ruth Raventós, Ernest Teniente |
Improving the definition of general constraints in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 469-486, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Conceptual modeling, Integrity constraints, UML profile |
28 | Dae-Kyoo Kim, Wuwei Shen |
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 16(3), pp. 329-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Pattern conformance, RBML, UML, Design pattern |
28 | Amit Raj, T. V. Prabhakar, Stan Hendryx |
Transformation of SBVR business design to UML models. ![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. 29-38, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
business design, production rule representation, UML, model driven architecture, business rules, SBVR |
28 | Waldemar Pires, João Brunet, Franklin Ramalho |
UML-based design test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 735-740, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design test, code generation, MDA, UML class diagram |
28 | Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Formal definition of measures for UML statechart diagrams using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 846-847, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams |
28 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam |
Verification Framework for Detecting Safety Violations in UML Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 849-854, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, UML Statecharts |
28 | Bill Hasling, Helmut Goetz, Klaus Beetz |
Model Based Testing of System Requirements using UML Use Case Models. ![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. 367-376, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Based Testing, Requirements Tracing |
28 | Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001 |
Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram. ![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. 100-107, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-functional attributes, model checking, model driven development, UML class diagram |
28 | María Agustina Cibrán |
Translating BPMN Models into UML Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 236-247, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL |
28 | Kalliopi Tourtoglou, Maria Virvou |
User Modelling in a Collaborative Learning Environment for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 1257-1258, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, user modelling, CSCL, learning environment, stereotypes |
28 | Bjørnar Solhaug, Ketil Stølen |
Compositional Refinement of Policies in UML - Exemplified for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, pp. 300-316, 2008, Springer, 978-3-540-88312-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement |
28 | Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman |
Using JULE to generate a compliance test suite for the UML standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 827-830, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ocl, test generation, metamodel, certification, binary decision diagram, uml |
28 | Huáscar Espinoza, David Servat, Sébastien Gérard |
Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SHARK ![In: Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, SHARK 2008, Leipzig, Germany, May 13, 2008, pp. 55-62, 2008, ACM, 978-1-60558-038-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, embedded systems, model-driven engineering, design space exploration, trade-off analysis |
28 | Vincent Pretre, Fabrice Bouquet, Christophe Lang |
Automating UML models merge for web services testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 55-62, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
web services, UML, model based testing |
28 | Dragan Milicev |
On the Semantics of Associations and Association Ends in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(4), pp. 238-251, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
association end, Unified Modeling Language (UML), conceptual modeling, model-driven development, Object-oriented modeling, formal semantics, association |
28 | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting |
A subset of precise UML for model-based testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 95-104, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, model-based testing, OCL |
28 | Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce |
Green: a flexible UML class diagramming tool for eclipse. ![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. 834-835, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation |
28 | Ethan Hadar, Irit Hadar |
Effective preparation for design review: using UML arrow checklist leveraged on the Gurus' knowledge. ![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. 955-962, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
modeling, UML, refactoring, object-oriented design, design review, software engineering methodology |
28 | Gene Wang, Brian McSkimming, Zachary Marzec, Joshua Gardner, Adrienne Decker, Carl Alphonce |
Green: a flexible UML class diagramming tool for eclipse. ![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. 791-792, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
28 | José Jacobo Zubcoff, Jesús Pardillo, Juan Trujillo 0001 |
Integrating Clustering Data Mining into the Multidimensional Modeling of Data Warehouses with UML Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 199-208, 2007, Springer, 978-3-540-74552-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data Mining, Clustering, Conceptual Modeling, Data Warehouse, KDD, Multidimensional Modeling, UML Extension |
28 | Darius Silingas, Ruslanas Vitiutinas |
Towards UML-Intensive Framework for Model-Driven Development. ![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. 116-128, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MagicDraw, UML, MDA, Model-Driven Development |
28 | Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta |
Platform-Independent Programming of Data-Intensive Applications Using UML. ![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. 103-115, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, MDA, query language, database applications, executable modelling, action language |
28 | Jordi Cabot, Robert Clarisó, Daniel Riera |
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 547-548, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, MDD, constraint programming, OCL, model verification |
28 | Filippo Ricca, Massimiliano Di Penta, Marco Torchiano, Paolo Tonella, Mariano Ceccato |
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 375-384, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML stereotypes, developers' experience, empirical study, program comprehension |
28 | Azzam Maraee, Mira Balaban |
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 17-31, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints |
28 | Narasimha Bolloju, Vijayan Sugumaran |
Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts. ![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. 96-105, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML artifacts, novice systems analysts, quality dependencies, association rules |
28 | Christian Bunse |
Using patterns for the refinement and translationof UML models: A controlled experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(2), pp. 227-267, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Patterns, Empirical evaluation, Understandability, Verifiability |
28 | Amel Mammar, Régine Laleau |
A formal approach based on UML and B for the specification and development of database applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(4), pp. 497-528, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Relational implementation, UML, Formal methods, Integration, Database applications, B |
28 | Felix Bübl |
Keeping track of crosscutting requirements in UML models via context-based constraints. ![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. 530-541, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modelling, UML, constraints, AOP, requirements engineering, AOSD |
28 | Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner |
MDA-based approach for embedded software generation from a UML/MOF repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 143-148, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, MDA, design space exploration, embedded systems design |
28 | Jan Trowitzsch, Armin Zimmermann |
Using UML state machines and petri nets for the quantitative investigation of ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 34, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML state machines, model transformation, stochastic petri nets, ETCS |
28 | Cédric Teyssié |
UML-based Specification of QoS Contract Negotiation and Service Level Agreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 12, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
QoS, UML, specification, negotiation, Service Level Agreement |
28 | Yujian Fu, Zhijiang Dong, Xudong He |
Formalizing and validating UML architecture description of web systems. ![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. 8, 2006, ACM, 1-59593-435-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML architecture description, petri nets, temporal logic, verification and validation, software architecture model |
28 | Jacqueline A. McQuillan, James F. Power |
On the Application of Software Metrics to UML Models. ![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. 217-226, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, software metrics, metamodels, object-oriented systems |
28 | Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa |
UML-based service robot software development: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 534-543, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object-oriented analysis and design methods, service robot development, software engineering, UML |
28 | Ebrahim Bagheri, Ali A. Ghorbani 0001 |
Towards an MDA-oriented UML profile for critical infrastructure modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 66, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modeling and simulation, UML profiles, critical infrastructure |
28 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validating UML and OCL models in USE by automatic snapshot generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(4), pp. 386-398, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing |
|
|