Sciweavers

15951 search results - page 64 / 3191
» Lawful software engineering
Sort
View
126
Voted
KBSE
1997
IEEE
15 years 9 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
121
Voted
SEKE
1995
Springer
15 years 9 months ago
Comparing models for identifying fault-prone software components
Filippo Lanubile, A. Lonigro, Giuseppe Vissagio
123
Voted
SIGSOFT
1995
ACM
15 years 9 months ago
Specification Matching of Software Components
Amy Moormann Zaremski, Jeannette M. Wing
ESEC
1991
Springer
15 years 9 months ago
Scaling Up Rule-Based Software Development Environments
Naser S. Barghouti, Gail E. Kaiser