7380 search results - page 459 / 1476 » Engineering Software Intensive Systems |
136
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
111
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
149
Voted
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
121
click to vote
AVI
2006
15 years 6 months ago
2006
The rapid increase in display sizes and resolutions has led to the re-emergence of many pen-based interaction systems like tabletop and wall display environments. Pointing in thes...
138
click to vote
AVI
2000
15 years 6 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...