1676 search results - page 233 / 336 » Formal System Development with KIV |
139
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
129
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
148
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
121
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
146
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...