1987 search results - page 365 / 398 » Structural Model: Architecture for Software Designers |
164
Voted
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
119
Voted
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
148
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
171
Voted
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
223
click to vote
GIS
2007
ACM
16 years 4 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...