|
|
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 |
24 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
A formal and sound transformation from Focal to UML : an application to airport security regulations. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Airport security regulations, UML, Formal methods, Focal, Graphical documentation |
24 | Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières |
Incremental development of UML specifications using operation refinements. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Incremental specification, UML, Refinement, B |
24 | Kalliopi Tourtoglou, Maria Virvou |
User Stereotypes Concerning Cognitive, Personality and Performance Issues in a Collaborative Learning Environment for UML. |
New Directions in Intelligent Interactive Multimedia |
2008 |
DBLP DOI BibTeX RDF |
software engineering, Collaboration, UML, learning, user modelling, collaborative learning, CSCL, student modelling, stereotypes |
24 | Sébastien Demathieu, Frédéric Thomas, Charles André, Sébastien Gérard, François Terrier |
First Experiments Using the UML Profile for MARTE. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
UML, Real-time, Embedded, Model-Driven Engineering, MARTE |
24 | Lilia Muñoz, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo 0001 |
Modelling ETL Processes of Data Warehouses with UML Activity Diagrams. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
modelling, UML, processes, activity diagrams, ETL |
24 | Mathias Frisch, Raimund Dachselt, Tobias Brückmann |
Towards seamless semantic zooming techniques for UML diagrams. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
models, visualization, UML, interaction techniques, diagrams, zoomable user interface, semantic zooming |
24 | Matteo Golfarelli, Stefano Rizzi |
UML-Based Modeling for What-If Analysis. |
DaWaK |
2008 |
DBLP DOI BibTeX RDF |
simulation, UML, data warehouse, What-if analysis |
24 | Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas |
Representation of Business Rules in UML&OCL Models for Developing Information Systems. |
PoEM |
2008 |
DBLP DOI BibTeX RDF |
UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition |
24 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Airport Security Regulations, UML, Certification, Formal Proofs, Focal |
24 | Soodeh Hosseini, Mohammad Abdollahi Azgomi |
UML Model Refactoring with Emphasis on Behavior Preservation. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring |
24 | Marcela Genero, M. Esperanza Manso, Corrado Aaron Visaggio, Gerardo Canfora, Mario Piattini |
Building measure-based prediction models for UML class diagram maintainability. |
Empir. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
UML, Measures, Prediction model, Maintainability, Controlled experiments, Size, Class diagrams, Empirical validation, Understandability, Structural complexity, Modifiability |
24 | Ana L. Milanova |
Composition inference for UML class diagrams. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Algorithms, UML, Reverse engineering, Points-to analysis, Ownership |
24 | Dietmar Schreiner, Karl M. Göschka |
Modeling component based embedded systems applications with explicit connectors in UML 2.0. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
UML, embedded systems, component, MDA, connector |
24 | Valeria Cardellini, Emiliano Casalicchio, Emanuele Galli |
Agent-based modeling of interdependencies in critical infrastructures through UML. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
UML, discrete event simulation, critical infrastructures, agent-based modeling and simulation |
24 | Anelia Popandreeva |
Object-oriented analysis and design using UML of a test "Rotation with sample". |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
UML, test, neuropsychology, OOD, OOA |
24 | Georgi Tuparov, Juliana Peneva, Petia Asenova, Stanislav Ivanov |
Upskilling to object-oriented software development with UML. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
UML, blended learning |
24 | Hyunsang Youn, Suhyeon Jang, Eunseok Lee 0001 |
Deriving Queuing Network Model for UML for Software Performance Prediction. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
Performance, UML, Software Architecture, Queuing Network Model |
24 | Gregor Engels, Christian Soltenborn, Heike Wehrheim |
Analysis of UML Activities Using Dynamic Meta Modeling. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
DMM, UML, verification, semantics, behavior |
24 | Friedrich Steimann, Heribert Vollmer |
Exploiting practical limitations of UML diagrams for model validation and execution. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Validation of models, Modelling, UML, Modelling language |
24 | Kevin Lano, José Luiz Fiadeiro |
Extending UML with coordination contracts. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
Coordination contracts, UML, MDA |
24 | Xing Wu 0003, Jin Chen, Ruqiang Li, Weixiang Sun, Guicai Zhang, Fucai Li |
Modeling a web-based remote monitoring and fault diagnosis system with UML and component technology. |
J. Intell. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
UML, Fault diagnosis, Web application, Component framework, Remote monitoring |
24 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
24 | Lionel C. Briand, Yvan Labiche, Johanne Leduc |
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, distribution, OCL, AspectJ, sequence diagram, RMI |
24 | Thomas Baar, Slavisa Markovic |
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
UML, Refactoring, OCL, Semantic Preservation |
24 | Jianhong Ma, Runhua Tan |
Modeling the Variability with UML for TRIZ Based CAI System. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Computer Aided Invention (CAI), modeling variability, UML, software product line, TRIZ |
24 | Tuomas Lindroth, Raicea Lavinia, Tiberiu Seceleanu, Nastooh Avessta, Jukka Teuhola |
Building a UML Profile for On-Chip Distributed Platforms. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
Segmented bus, platform profile, UML |
24 | Fredrik Seehusen, Ketil Stølen |
Information flow property preserving transformation of UML interaction diagrams. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
UML, refinement, model driven architecture, transformation, information flow security |
24 | Akram Idani, Yves Ledru, Didier Bert |
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal concept analysis, B, Concept formation |
24 | Andrei Kirshin, Dolev Dotan, Alan Hartman |
A UML Simulator Based on a Generic Model Execution Engine. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator |
24 | Christian Soltenborn, Gregor Engels |
Analysis of UML Activities with Dynamic Meta Modeling Techniques. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
DMM, UML, verification, semantics, behavior |
24 | Bran Selic |
Tutorial: an overview of UML 2. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-driven archtiecture, UML, unified modeling language, model-driven development |
24 | Vahid Garousi, Lionel C. Briand, Yvan Labiche |
Traffic-aware stress testing of distributed systems based on UML models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, UML, model-based testing, network traffic, stress testing |
24 | Florian Klein 0001, Holger Giese |
Analysis and design of physical and social contexts in multi-agent systems using UML. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
24 | Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Consistent Code Generation from UML Models. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
UTP, UML, Semantics, Object Orientation, Consistency, Code generation |
24 | Carl Alphonce, Blake Martin |
Green: a customizable UML class diagram plug-in for eclipse. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
24 | Carl Alphonce, Blake Martin |
Green: a customizable UML class diagram plug-in for eclipse. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
Java, design, UML, reverse-engineering, object-orientation, code generation, CS1, CS2 |
24 | Haeng-Kon Kim, Youn-Ky Chung |
Automatic Translation Form Requirements Model into Use Cases Modeling on UML. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
UML, use cases, CBD, safety analysis, safety requirements |
24 | Andrea D'Ambrogio |
A model transformation framework for the automated building of performance models from UML models. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
automated model building, UML, MDA, model transformation, software performance, LQN |
24 | Ana L. Milanova |
Precise identification of composition relationships for UML class diagrams. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
UML, reverse engineering, points-to analysis, ownership |
24 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
Consistency Checking of UML Requirements. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
24 | Dae-Kyoo Kim |
Evaluating Conformance of UML Models to Design Patterns. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
pattern specification, pattern tools, UML, Design pattern, object-oriented model |
24 | Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán |
Formalization of UML state machines using temporal logic. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
UML, specification, formal semantics, interval temporal logic, Statechart diagrams |
24 | M. Elizabeth C. Hull, S. Ewart, J. R. Paul Hanna |
Modeling Complex Real-Time and Embedded Systems-The UML and DORIS Combination. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
DORIS, modeling, UML, non-functional requirements, real-time and embedded systems |
24 | Tong Yi, Fangjun Wu, Chengzhi Gan |
A comparison of metrics for UML class diagrams. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
theoretical validation, UML, measure, metric, class diagram, empirical validation, structure complexity |
24 | Martin Keschenau |
Reverse engineering of UML specifications from java programs. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
java, UML, reverse engineering, class diagrams, bytecode |
24 | Brian Berenbach |
Comparison of UML and text based requirements engineering. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
UML, requirements, analysis, process |
24 | Sergio Luján-Mora, Juan Trujillo 0001 |
Physical modeling of data warehouses using UML. |
DOLAP |
2004 |
DBLP DOI BibTeX RDF |
UML, component, data warehouse, configuration, deployment, physical design |
24 | Ernesto Exposito, Patrick Sénac, Michel Diaz |
UML-SDL modelling of the FPTP QoS oriented transport protocol. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
transport mechanisms, QoS, UML, congestion control, transport protocol, SDL |
24 | Marco Torchiano, Giorgio Bruno |
Enterprise modeling by means of UML instance models. |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
instance models, UML, enterprise models |
24 | Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers |
Consistent specification of interface suites in UML. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Consistency of several views, Specification model, UML, Component specification |
24 | Dov Dori |
Why significant UML change is unlikely. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
UML |
24 | Sadahiro Isoda |
Do Actors Call Use Cases? - Solving the Problems of OOSE/UML Use-Case Relationships. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
OOSE, real-world modeling, UML, generalization, use case, Object-oriented methodology |
24 | Rik Eshuis, Roel J. Wieringa |
Verification support for workflow design with UML activity graphs. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML |
24 | John C. Grundy, Rakesh Patel |
Developing Software Components with the UML, Enterprise Java Beans and Aspects. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
XML, UML, component-based systems, Aspect-oriented design, Enterprise Java Beans |
24 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
Formal and Use-Case Driven Requirement Analysis in UML. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Incremental Model Building, UML, Object-Orientation, Conceptual Model, Use Cases |
24 | Chris Scogings, Chris Phillips 0002 |
A Method for the Early Stages of Interactive System Design using UML and Lean Cuisine+. |
AUIC |
2001 |
DBLP DOI BibTeX RDF |
UML, task modelling, interactive systems design, dialogue modelling |
24 | Christian Huemer |
Defining Electronic Data Interchange Transactions with UML. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, Electronic Commerce, Business Modeling, Electronic Data Interchange (EDI), Electronic Business, Business-to-Business |
24 | Janis Putman |
Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, policy, OCL, behavior, RM-ODP |
24 | Martin L. Griss |
Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Simulation, Java, XML, UML, Agents, E-commerce, Workflow, Games, Components, Features, Aspects, Product Lines, CBSE |
24 | Marc Born, Eckhardt Holz, Olaf Kath |
A Method for the Design and Development of Distributed Applications Using UML. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
distributed applications development, object-oriented middleware platforms, Reference Model for Open Distributed Processing, practical design tasks, CORBA 2.3, Unified Modeling Language, UML, specification languages, distributed programming, open systems, client-server systems, automatic code generation, distributed object management, notation, RM-ODP, distributed infrastructure |
24 | María José Presso, Gilbert Raymond, Mariano Belaunde |
PILOTE: A Tool Suite to Support UML-Based Engineering Processes. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
tool suite, UML, object-oriented programming, object oriented programming, software tools, reference model, software development cycle, PILOTE project |
24 | Takuya Uemura, Shinji Kusumoto, Katsuro Inoue |
Function Point Measurement Tool for UML Design Specification. |
IEEE METRICS |
1999 |
DBLP DOI BibTeX RDF |
Requirements/Design Specification, UML, Tool, Function Point |
24 | Anna Armentrout |
A tool for designing Java programs with UML. |
ITiCSE |
1999 |
DBLP DOI BibTeX RDF |
multimedia/interactive learning, Java, UML, object-oriented design, instructional technology |
24 | Rémi Bastide |
An Integration of Task and Use-Case Meta-models. |
HCI (1) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | José Oscar Olmedo-Aguirre, Mónica Rivera de la Rosa, Guillermo Morales-Luna |
ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing. |
MICAI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM Method for Validation & Verification of Embedded Systems. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Simona Bernardi 0001, José Merseguer, Dorina C. Petriu |
Adding Dependability Analysis Capabilities to the MARTE Profile. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard |
AnExecution Framework for MARTE-Based Models. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
Process State Machines for Behavioral Modeling of Embedded Systems. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Kirsten Berkenkötter |
OCL-Based Validation of a Railway Domain Profile. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum |
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting |
Role Slices: A Notation for RBAC Permission Assignment and Enforcement. |
DBSec |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Eun-Jung Ko, Sang-Young Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang |
Workflow Modeling Based on Extended Activity Diagram Using ASM Semantics. |
ICCSA (3) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Sunghwan Roh, Kyungrae Kim, Taewoong Jeon |
Architecture Modeling Language based on UML2.0. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Stephan Flake |
Real-Time Constraints with the OCL (position paper). |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Object Constraint Language, Real-Time Constraints |
24 | Klaus Marius Hansen, Anne V. Ratzer |
Tool support for collaborative teaching and learning of object-oriented modeling. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
electronic whiteboards, gestures, collaborative learning, object-oriented modeling |
24 | Alexander Egyed |
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Jos Warmer, Anneke Kleppe |
Introduction to OCL. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner |
Towards a Formalization of the Unified Modeling Language. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen |
Connecting UML and VDM++ with Open Tool Support. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Padmanabhan Krishnan, Percy Antonio Pari Salas |
Model-Based Testing and the UML Testing Profile. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
XMI2USE: A Tool for Transforming XMI to USE Specifications. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
MDA, Model Transformation, OCL, USE, Modeling Tool, XMI |
24 | Farid Meziane, Nikos Athanasakis, Sophia Ananiadou |
Generating Natural Language specifications from UML class diagrams. |
Requir. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Stephen Wood, David H. Akehurst, O. Uzenkov, W. Gareth J. Howells, Klaus D. McDonald-Maier |
A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar M. Potdar |
Modeling Input Validation in UML. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation |
24 | Timo Vepsäläinen, David Hästbacka, Seppo Kuikka |
Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Andrea De Lucia, Carmine Gravino, Rocco Oliveto, Genoveffa Tortora |
Data Model Comprehension: An Empirical Comparison of ER and UML Class Diagrams. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Il-Yeol Song, Ritu Khare, Yuan An, Margaret Hilsbos |
A Multi-level Methodology for Developing UML Sequence Diagrams. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chang-Ai Sun |
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation |
24 | Oana Nicolae, Mirel Cosulschi, Adrian Giurca, Gerd Wagner 0001 |
Towards a BPMN Semantics Using UML Models. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Darshan S. Dillon, Tharam S. Dillon, Elizabeth Chang 0001 |
Using UML 2.1 to Model Multi-agent Systems. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Guan Hongjie, Meng Fan-rong, Xia Zhanguo |
Research on UML-based Modeling of Workflow Manage System. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Leszek Kotulski, Dariusz Dymek |
On the Modeling Timing Behavior of the System with UML(VR). |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xiong Li, Wei Chen, Zhenkun Zhai, Zekai Huang, Jing Guo |
Modeling for Robotic Soccer Simulation Team Based on UML. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí |
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ståle Walderhaug, Erlend Stav, Marius Mikalsen |
Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xiaoli Bai, Xueshan Luo, Xiaohui Bai, Xianqing Yi, Honghui Chen, Deke Guo |
Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso |
UML-based modeling and model-driven development of distributed control systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Youcef Hammal |
A modular state exploration and compatibility checking of UML dynamic diagrams. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
|
|