1988 search results - page 44 / 398 » Engineering formal metatheory |
ECSA
2010
Springer
13 years 9 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
ASE
1998
13 years 8 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
MSR
2005
ACM
14 years 2 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...