|
|
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 |
42 | Flávio Oquendo |
Formally modelling software architectures with the UML 2.0 profile for pi-ADL. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
?-ADL, UML 2.0 profile, architecture description language, software architecture modelling |
42 | Nicolas Guelfi, Amel Mammar |
A formal framework to generate XPDL specifications from UML activity diagrams. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
XPDL language, transformations, correctness proofs, UML activity diagrams |
42 | Hugues Malgouyres, Gilles Motet |
A UML model consistency verification approach based on meta-modeling formalization. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
UML verification, consistency rules, meta-modeling, constraint logic programming |
42 | Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón |
Integrating agent-oriented methodologies with UML-AT. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
INGENIAS, Tropos, UML-AT, multi-agent systems, activity theory, method engineering, conceptual mappings |
42 | Helen Treharne |
Supplementing a UML Development Process with B. |
FME |
2002 |
DBLP DOI BibTeX RDF |
B-Method, Stereotyping, UML Class Diagrams |
42 | Dongxi Jin, David C. Levy |
An approach to schedulability analysis of UML-based real-time systems design. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), real-time schedulability, transaction model |
42 | Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h |
UMLAUT: An Extendible UML Transformation Framework. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques |
42 | Michal Smialek |
Profile Suite for Model Transformations on the Computation Independent Level. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Gonzalo Génova, Juan Llorens Morillo, Pierre Metz, Rubén Prieto-Díaz, Hernán Astudillo |
Open Issues in Industrial Use Case Modeling. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Alan Hartman, Kenneth Nagin |
The AGEDIS Tools for Model Based Testing. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic |
SVERTS - Specification and Validation of Real-Time and Embedded Systems. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Dominik Stein, Jörg Kienzle, Mohamed Kandé |
5th International Workshop on Aspect-Oriented Modeling. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva |
The ProjectIT-RSL Language Overview. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Anneke Kleppe, Jos Warmer |
Making UML Activity Diagrams Object-Oriented. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams |
41 | Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang |
A reconfiguration pattern for distributed embedded systems. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
UML profiles and patterns, Specification PEARL, Embedded systems, Real-time, Distributed, Dynamic reconfiguration, UML-RT |
41 | Ghislain Lévesque, Valery Bevo, De Tran-Cao |
Estimating software size with UML models. |
C3S2E |
2008 |
DBLP DOI BibTeX RDF |
UML use case, function point, productivity model, UML sequence diagram, software size estimation |
38 | Nenad Marovac |
UML based embedded documentation for semi-automatic software development. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
flagged sentences, modeling, software engineering, UML, UML |
38 | H. Van Dyke Parunak, James Odell |
Representing social structures in UML. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML |
38 | Heinz Faßbender |
Reengineering an Ada95-programmed command and control information system by using UML. |
SIGAda |
2001 |
DBLP DOI BibTeX RDF |
modeling, UML, UML, Ada, Reengineering, case tools |
38 | Robert B. France |
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
precise semantics, requirements class diagrams, UML, UML, Z |
38 | Sergejus Sosunovas, Olegas Vasilecas |
Tool-Supported Method for the Extraction of OCL from ORM Models. |
BIS |
2007 |
DBLP DOI BibTeX RDF |
UML, metamodel, OCL, ORM |
38 | Hui Du, Renchu Gan, Kecheng Liu, Zhenji Zhang, Darren Booy |
Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems. |
CONFENIS (2) |
2007 |
DBLP DOI BibTeX RDF |
Annotation model, Performance, UML, Information system, Architecture design |
38 | Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001 |
VisDP: A Web Service for Visualizing Design Patterns on Demand. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
web service, UML, Design pattern, software visualization, visual tool |
38 | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
Using Role-Based Modeling Language (RBML) to Characterize Model Families. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Object-oriented design models, role-based modeling language, UML, software reuse |
38 | Marwa Shousha, Lionel C. Briand, Yvan Labiche |
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis |
38 | Jürgen Dingel, Zinovy Diskin, Alanna Zito |
Understanding and improving UML package merge. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Semantics formalization, Metamodeling techniques, UML, Model composition |
38 | Igor Siveroni, Andrea Zisman, George Spanoudakis |
Property Specification and Static Verification of UML Models. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Spin, Static Verification |
38 | Mirco Tribastone, Stephen Gilmore |
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. |
WOSP |
2008 |
DBLP DOI BibTeX RDF |
pepa, uml, marte |
38 | Sun Meng, Luís Soares Barbosa |
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Algebra, Sequence diagram, Coalgebra |
38 | Jan Jürjens, Pasha Shabalin |
Tools for secure systems development with UML. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Security, UML, Formal verification, Tool-support, Model-based development |
38 | Leandro Soares Indrusiak, Manfred Glesner |
Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models. |
SBCCI |
2007 |
DBLP DOI BibTeX RDF |
actor-orientation, UML, embedded systems, sequence diagram, message sequence charts, electronic system level |
38 | Iulian Ober, Susanne Graf, Ileana Ober |
Validating timed UML models by simulation and verification. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, UML, Real-time, Object oriented, Observer, Timed automata |
38 | Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Petia Wohed |
On the suitability of UML 2.0 activity diagrams for business process modelling. |
APCCM |
2006 |
DBLP BibTeX RDF |
UML |
38 | Shin Nakajima 0001, Tetsuo Tamai |
Aspect-oriented software design with a variant of UML/STD. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
UML, SPIN, state diagrams, join point model |
38 | David N. Jansen, Holger Hermanns |
QoS modelling and analysis with UML-statecharts: the StoCharts approach. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
UML |
38 | Shahid Nazir Bhatti |
Why quality?: ISO 9126 software quality metrics (Functionality) support by UML suite. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
38 | Vladimir L. Pavlov, Anton Yatsenko |
"The Babel experiment": an advanced pantomime-based training in OOA&OOD with UML. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
hands-on training, pantomime, UML, unified modeling language, OOP, software development, object-oriented design, IT-education, object-oriented analysis, OOD, OOA |
38 | Scott R. Tilley, Steve Murphy, Shihong Huang |
5th international workshop on graphical documentation: determining the barriers to adoption of UML diagrams. |
SIGDOC |
2005 |
DBLP DOI BibTeX RDF |
UML, adoption, style, graphical documentation |
38 | Siros Supavita, Taratip Suwannasart |
Testing Polymorphic Interactions in UML Sequence Diagrams. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram |
38 | Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli |
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
UML, real-time, software architecture, formal methods |
38 | Qiang Zhu 0005, Ryosuke Oishi, Takashi Hasegawa, Tsuneo Nakata |
System-on-chip validation using UML and CWL. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
specification modeling, UML, validation and verification, verification process |
38 | Marcela Genero, Mario Piattini, M. Esperanza Manso |
Finding "Early" Indicators of UML Class Diagrams Understandability and Modifiability. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
UML, metrics, prediction models, maintainability, controlled experiments, size, class diagrams, empirical validation, understandability, structural complexity, modifiability |
38 | Petri Selonen, Jianli Xu |
Validating UML models against architectural profiles. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
architectural validation, UML, profiles |
38 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
38 | Clinton Heinze, Leon Sterling |
Using the UML to model knowledge in agent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
UML, agents, knowledge representation |
38 | Petri Selonen, Kai Koskimies, Markku Sakkinen |
How to Make Apples from Oranges in UML. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, model transformation |
38 | Stephen Morris, George Spanoudakis |
UML: An Evaluation of the Visual Syntax of the Language. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
graphic syntax, notational systems, notational schemes, UML, visual language, software modeling |
38 | Philippe Leblanc, Ileana Ober |
Comparative Case Study in SDL and UML. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
SDL-2000, real-time engineering, modeling, design, UML, object-oriented, SDL |
38 | Prasanta K. Bose |
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Architecture, Security Protocol, Model Translation |
38 | Raoudha Ben Djemaa, Ikram Amous, Abdelmajid Ben Hamadou |
Use case and meta-scenarios for modelling Adaptive Web Applications. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Guoqiang Shu, Chao Li, Qing Wang 0001, Mingshu Li 0001 |
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata. |
IEEE International Workshop on Rapid System Prototyping |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Daniel L. Moody, Jos van Hillegersberg |
Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan |
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Wenjun Deng, Yiwen Liang |
Reason on UML Diagrams with Answer Set Programming. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Ariadi Nugroho, Michel R. V. Chaudron |
A survey into the rigor of UML use and its perceived impact on quality and productivity. |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
unified modeling language, consistency, level of detail, completeness, correspondence |
38 | Bran Selic |
A Systematic Approach to Domain-Specific Language Design Using UML. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yifeng Sun, David Levy 0001 |
Suggestions on Pattern Transformation in UML-RT. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ingo Feinerer, Gernot Salzer |
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Mohammed Hussein, Mohammad Zulkernine |
UMLintr: A UML Profile for Specifying Intrusions. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Yoshiyuki Shinkawa |
Inter-Model Consistency in UML Based on CPN Formalism. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Mira Balaban, Azzam Maraee |
Consistency of UML Class Diagrams with Hierarchy Constraints. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Harald Fecher, Jens Schönborn |
UML 2.0 State Machines: Complete Formal Semantics Via core state machine. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Luigi Lavazza, Vieri Del Bianco |
Combining Problem Frames and UML in the Description of Software Requirements. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Thomas Raimbault, David Genest, Stéphane Loiseau |
A New Method to Interrogate and Check UML Class Diagrams. |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
38 | José Raúl Romero, Antonio Vallecillo |
Modeling the ODP Computational Viewpoint with UML 2.0. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong |
Model-Driven SoC Design via Executable UML to SystemC. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for the Boundedness of UML RT Models. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Gerardo Padilla, Miguel A. Serrano, Carlos Montes de Oca |
A UML Sequence Diagram Extension to Handle Multiplicities. |
ENC |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Lionel C. Briand, Yvan Labiche, Leeshawn O'Sullivan |
Impact Analysis and Change Management of UML Models. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Stephan Bourduas, Ferhat Khendek, Daniel Vincent |
From MSC and UML to SDL. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Wuwei Shen, Kevin J. Compton, James Huggins |
A Toolset for Supporting UML Static and Dynamic Model Checking. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi |
Model Checking UML Statecharts. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Regine Laleau, Fiona Polack |
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Pascal Rapicault, Jean-Paul Rigault |
Open Implementation of UML Meta-model(s). |
Reflection |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim |
A CSP View on UML-RT Structure Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Rainer Conrad, Dieter Scheffner, Johann Christoph Freytag |
XML Conceptual Modeling Using UML. |
ER |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Miguel de Miguel, Thomas Lambolais, Sophie Piekarec, Stéphane Betgé-Brezetz, Jérôme Péquery |
Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel |
Using UML for Software Process Modeling. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering Tools and Environments, Software Process Models |
38 | Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler |
Modeling Business Processes in Web Applications with ArgoUWE. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Eduardo Fernández-Medina, Mario Piattini |
Extending OCL for Secure Database Development. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Dominik Stein, Stefan Hanenberg, Rainer Unland |
Query Models. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Luis E. Anido-Rifón, Manuel Caeiro, Judith S. Rodríguez, Juan Manuel Santos |
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
38 | David H. Akehurst, Stuart Kent 0001 |
A Relational Approach to Defining Transformations in a Metamodel. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Miguel de Miguel, Jean Jourdan, Serge Salicki |
Practical Experiences in the Application of MDA. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
38 | James E. Rumbaugh |
The Preacher at Arrakeen. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
38 | José M. Álvarez 0003, Tony Clark 0001, Andy Evans, Paul Sammut |
An Action Semantics for MML. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Perdita Stevens |
On Associations in the Unified Modelling Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Alain Wegmann, Guy Genilloud |
The Roles of "Roles" in Use Case Diagrams. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
38 | José Uetanabara Júnior, Rosângela Dellosso Penteado, Valter Vieira de Camargo |
An overview and an empirical evaluation of UML-AOF: an UML profile for aspect-oriented frameworks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
crosscutting framework profile, crosscutting frameworks, reuse, aspect-oriented framework |
38 | Rafael de Almeida Naufal, Fábio F. Silveira, Eduardo Martins Guerra |
A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Temenushka Ignatova, Ilvio Bruder |
Utilizing a Multimedia UML Framework for an Image Database Application. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Juan Trujillo 0001 |
Preface to BP-UML 2005. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Moreno Marzolla, Simonetta Balsamo |
UML-PSI: The UML Performance Simulator. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Dorina C. Petriu, Hui Shen |
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Øystein Haugen |
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Martin Giese, Rogardt Heldal |
From Informal to Formal Specifications in UML. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Alexander Christoph, Matthias M. Müller |
GREAT: UML Transformation Tool for Porting Middleware Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Cris Kobryn |
Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 8456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|