4919 search results - page 607 / 984 » A Process-Ontological Model for Software Engineering |
127
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
125
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
131
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
159
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
140
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...