4257 search results - page 573 / 852 » The Logical Modularity of Programs |
195
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
223
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
191
Voted
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
200
click to vote
ESAS
2006
Springer
15 years 8 months ago
2006
Springer
This work describes a low-cost Public-Key Cryptography (PKC) based solution for security services such as key-distribution and authentication as required for wireless sensor networ...
168
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...