5433 search results - page 688 / 1087 » Tool Support for Traceability-Adaptation |
146
click to vote
SOPR
2008
15 years 7 months ago
2008
: Processes usually are defined according to underlying standards (ISO 15504, ESA ECSS, ISO 9001, ...) and are described with process steps to be performed by roles and producing r...
178
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
189
click to vote
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 7 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
164
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
199
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...