5525 search results - page 781 / 1105 » Verification of Model Transformations |
299
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
206
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
199
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
189
click to vote
ECMDAFA
2005
Springer
16 years 10 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
166
click to vote
CSEE
2000
Springer
15 years 11 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...