2124 search results - page 268 / 425 » Changing the paradigm of software engineering |
APSEC
1997
IEEE
14 years 2 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
COMPSAC
1997
IEEE
14 years 2 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
COMPSAC
1996
IEEE
14 years 2 months ago
1996
IEEE
In this paper, we are concerned with the problem of designing optimal linear hashing files for orthogonal range retrieval. Through the study of performance expressions, we show th...
TAPSOFT
1997
Springer
14 years 2 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...
ECSA
2007
Springer
14 years 2 months ago
2007
Springer
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...