3667 search results - page 83 / 734 » Software Rejuvenation - Modeling and Analysis |
FASE
2007
Springer
14 years 1 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
ISICT
2004
13 years 9 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...
IWPC
2000
IEEE
14 years 2 days ago
2000
IEEE
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
CODES
1999
IEEE
14 years 16 hour ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...