3024 search results - page 244 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
124
click to vote
COMPSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
181
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
143
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
147
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
124
click to vote
AIPS
1994
15 years 7 months ago
1994
The Scenario-based Engineering Process (SEP)is a novel approachto developingcomplexsystems.SEPbuilds newapplication systemsthrougha selectionprocessthat groupsprimitive components...