4007 search results - page 433 / 802 » Automotive Software Integration |
177
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we discuss the various issues in designing intelligent software systems to assist worldwide-web users in locating relevant information. We identi3 a number of key c...
156
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
178
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
194
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
170
click to vote
IWPC
1996
IEEE
15 years 11 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...