409 search results - page 9 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 8 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
UML
2001
Springer
15 years 1 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
98
Voted
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...