803 search results - page 33 / 161 » Building Formal Models for Software Requirements |
211
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
132
Voted
EGITALY
2006
15 years 3 months ago
2006
In recent years the progress of 3D scanning technologies and the consequent growing commercialization of scanners opened a large spectrum of opportunities for many professionals. ...
116
click to vote
SIGSOFT
2007
ACM
16 years 2 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...
122
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
100
click to vote
CSREAESA
2006
15 years 3 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...