Sciweavers

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