409 search results - page 33 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
110
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
137
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
112
Voted
ASE
2007
15 years 1 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
153
Voted
DSVIS
1998
Springer
15 years 6 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
159
click to vote
SPE
2011
14 years 8 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...