Results 171 to 180 of about 5,243 (226)
ACM Transactions on Software Engineering and Methodology, 2006 The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as a practically useful formal modeling technique. The two notations have much to offer each other. The UML provides an accessible visualization of models facilitating communication of ideas but lacks formal precise semantics. B,
Colin Snook, Michael Butler
exaly +2 more sources
Verification of UML Models by Translation to UML-B [PDF]
, 2011 UML-B is a ‘UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools.
Colin F. Snook +2 more
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
UML-PSI: the UML performance simulator
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., 2004In this paper we describe UML-Ψ , a software performance evaluation tool based on process-oriented simulation. The tool can be used to evaluate performances of software systems described as annotated UML diagrams. UML-Ψ transforms the software model into a performance model based on process-oriented simulation, executes the performance model and ...
MARZOLLA, MORENO, S. Balsamo
openaire +1 more source
Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference, 2015
Software architecture design is key to building systems that meet quality demands. Choosing the appropriate way to model the architecture ensures it is rightly understood by everyone involved. UML diagrams are commonly used in software engineering but free-form diagrams are almost as common.
Veli-Pekka Eloranta +3 more
openaire +1 more source
Software architecture design is key to building systems that meet quality demands. Choosing the appropriate way to model the architecture ensures it is rightly understood by everyone involved. UML diagrams are commonly used in software engineering but free-form diagrams are almost as common.
Veli-Pekka Eloranta +3 more
openaire +1 more source
X3D-UML: 3D UML Mechatronic Diagrams
2010 21st Australian Software Engineering Conference, 2010Mechatronic systems are a synergy of mechanical and software components. System behaviour is dependent on the software interaction with non-software components and therefore both aspects need to be considered in system design. 3D UML Mechatronic Diagrams use a 3D model of the Unified Modelling Language (UML) to integrate a software model view with a ...
Paul McIntosh, Margaret Hamilton 0001
openaire +1 more source
Graphical notations for active rules in UML and UML-A
ACM SIGSOFT Software Engineering Notes, 2003Active rules (i.e., event condition action rules, triggers) have been put forward as a technique for reacting to important events, and thereby avoiding polling or embedding rule processing in applications. Despite the promises of active rules technology, the usage of active rules is low in practice.
Mikael Berndtsson, Bengt Calestam
openaire +1 more source
ACM SIGSOFT Software Engineering Notes, 1998
The Unified Modelling Language (UML), version 1.0, developed in order to standardise different object oriented development practices, offers a general way of representing technical, business and software models through the structure and dynamics of the UML modelling elements. The UML also defines a set of rules that are expected to be followed in order
openaire +1 more source
The Unified Modelling Language (UML), version 1.0, developed in order to standardise different object oriented development practices, offers a general way of representing technical, business and software models through the structure and dynamics of the UML modelling elements. The UML also defines a set of rules that are expected to be followed in order
openaire +1 more source
2012 20th IEEE International Conference on Program Comprehension (ICPC), 2012
The need to identify source code that exhibits particular characteristics is essential to program comprehension. In this paper we introduce Arabica, a tool for querying Java code using UML class and sequence diagrams. Our use of UML diagrams avoids the need for developers to familiarize themselves with yet another language.
Carlos Noguera +3 more
openaire +2 more sources
The need to identify source code that exhibits particular characteristics is essential to program comprehension. In this paper we introduce Arabica, a tool for querying Java code using UML class and sequence diagrams. Our use of UML diagrams avoids the need for developers to familiarize themselves with yet another language.
Carlos Noguera +3 more
openaire +2 more sources
IEEE Software, 2010
A standardized and widely used diagramming notation is a sign of a profession's maturity. It simplifies the life of the diverse group of people who read the drawings, it improves the quality of the drawings, and it benefits the profession through network effects. In the field of software engineering we've got a long way to travel.
openaire +1 more source
A standardized and widely used diagramming notation is a sign of a profession's maturity. It simplifies the life of the diverse group of people who read the drawings, it improves the quality of the drawings, and it benefits the profession through network effects. In the field of software engineering we've got a long way to travel.
openaire +1 more source