Sciweavers

649 search results - page 4 / 130
» Formalizing Rework in Software Processes
Sort
View
CCS
2003
ACM
14 years 22 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
PDPTA
2003
13 years 8 months ago
The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
TSE
2002
87views more  TSE 2002»
13 years 7 months ago
A Formal Model of the Software Test Process
João W. Cangussu, Raymond A. DeCarlo, Adity...
WETICE
1998
IEEE
13 years 11 months ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman