1988 search results - page 186 / 398 » Engineering formal metatheory |
157
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
166
click to vote
CODES
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
163
click to vote
ISORC
2007
IEEE
16 years 26 days ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
194
click to vote
EUROMICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
178
click to vote
IEEESCC
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...