4048 search results - page 558 / 810 » Design Science, Engineering Science and Requirements Enginee... |
156
click to vote
CMSB
2004
Springer
15 years 9 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
159
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
118
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
136
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
129
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...