1141 search results - page 32 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
141
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
176
click to vote
STTT
2008
15 years 5 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
178
click to vote
ISORC
2008
IEEE
16 years 12 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
185
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
152
click to vote
AGILEDC
2007
IEEE
16 years 10 days ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...