Sciweavers

8627 search results - page 15 / 1726
» Software Engineering Using RATionale
Sort
View
88
Voted
KBSE
1997
IEEE
15 years 4 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine
88
Voted
IWPSE
2010
IEEE
14 years 10 months ago
Identifying cross-cutting concerns using software repository mining
Frank Mulder, Andy Zaidman
115
Voted
KBSE
1998
IEEE
15 years 4 months ago
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
Armando Martin Haeberer, T. S. E. Maibaum