1527 search results - page 17 / 306 » From Requirements to Design: Formalizing the Key Steps |
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
CIKM
2003
Springer
14 years 27 days ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...
ASIACRYPT
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. We study two closely related primitives: Broadcast Encryption and Key Predistribution Schemes (KPS). Broadcast Encryption allows a broadcaster to broadcast an encrypted m...
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...