201 search results - page 19 / 41 » Formal Specification in Collaborative Design of Critical Sof... |
107
click to vote
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...
119
click to vote
CONSTRAINTS
2002
15 years 3 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
129
click to vote
ECEASST
2006
15 years 3 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
138
click to vote
PDSE
1998
15 years 4 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
131
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...