Sciweavers

409 search results - page 8 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
ICEIS
2009
IEEE
14 years 7 months ago
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
Alessander Botti Benevides, Giancarlo Guizzardi
CAISE
2006
Springer
14 years 11 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
JSW
2007
126views more  JSW 2007»
14 years 9 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
BCS
2008
14 years 11 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
86
Voted
APN
2006
Springer
15 years 1 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer