1481 search results - page 60 / 297 » Enriching the Software Development Process by Formal Methods |
126
click to vote
AVI
2008
15 years 5 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
129
click to vote
ACSD
1998
IEEE
15 years 7 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
148
click to vote
IESA
2007
15 years 4 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
128
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
143
click to vote
JSS
2010
14 years 10 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...