3943 search results - page 225 / 789 » Architecture-Level Requirements Specification |
169
click to vote
MHCI
2005
Springer
16 years 4 days ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
167
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
171
Voted
ER
2004
Springer
16 years 1 days ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
154
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
169
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...