190 search results - page 2 / 38 » The STEP Standard as an Approach for Design and Prototyping |
COMCOM
2000
13 years 5 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
FAC
2007
13 years 5 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
ICSE
1993
IEEE-ACM
13 years 9 months ago
1993
IEEE-ACM
Features are often the basic unit of development for a very large software systems and represent long-term efforts, spanning up to several years from inception to actual use. Deve...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
ITNG
2008
IEEE
13 years 11 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...