2153 search results - page 248 / 431 » From Requirements Models to Formal Specifications in B |
187
click to vote
3DOR
2009
15 years 7 months ago
2009
When drafting new buildings, architects make intensive use of existing 3D models including building elements, furnishing, and environment elements. These models are either directl...
161
click to vote
CAISE
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
177
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
154
click to vote
AIMSA
2000
Springer
15 years 10 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
145
click to vote
CHI
1992
ACM
15 years 10 months ago
1992
ACM
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...