1304 search results - page 37 / 261 » Model-Driven Engineering for Requirements Analysis |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
RE
2004
Springer
15 years 3 months ago
2004
Springer
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
RE
2001
Springer
15 years 2 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...