3399 search results - page 289 / 680 » Requirements Development in Scenario-Based Design |
141
click to vote
ICESS
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
212
click to vote
ISAS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
155
click to vote
PROMAS
2005
Springer
16 years 3 days ago
2005
Springer
In a multi-agent system, the organization determines the architecture of the whole system, and the way and policies for agent collaboration and interactions. Although this is a key...
146
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
193
Voted
WAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...