Sciweavers

3667 search results - page 27 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
ICSE
1995
IEEE-ACM
13 years 11 months ago
Completeness and Consistency Analysis of State-Based Requirements
Mats Per Erik Heimdahl, Nancy G. Leveson
PEPM
1995
ACM
13 years 11 months ago
Semantic Foundations of Binding Time Analysis for Imperative Programs
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
APSEC
2006
IEEE
13 years 9 months ago
Safety Analysis for Dynamic Update of Object Oriented Programs
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi
COMPSAC
2007
IEEE
13 years 9 months ago
A Method of Requirement Inconsistency Analysis
Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia