3 search results - page 1 / 1 » PROMETEU - a tool to support documents generation and tracea... |
JIISIC
2008
13 years 5 months ago
2008
ECMDAFA
2010
Springer
13 years 9 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...
CASCON
2007
13 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...