Sciweavers

2276 search results - page 125 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
121
Voted
SBIA
2004
Springer
15 years 9 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
150
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
ICSE
2010
IEEE-ACM
15 years 8 months ago
Runtime repair of software faults using event-driven monitoring
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
Chris Lewis 0002, Jim Whitehead
101
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
OWLED
2007
15 years 5 months ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves