Sciweavers

2578 search results - page 366 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
139
Voted
ICST
2009
IEEE
15 years 10 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
116
Voted
RE
2008
Springer
15 years 3 months ago
Examining the Relationships between Performance Requirements and "Not a Problem" Defect Reports
Missing or imprecise requirements can lead stakeholders to make incorrect assumptions. A "Not a Problem" defect report (NaP) describes a software behavior that a stakeho...
Chih-Wei Ho, Laurie Williams, Brian Robinson
134
Voted
ICWS
2007
IEEE
15 years 4 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
123
Voted
ISORC
2008
IEEE
15 years 10 months ago
Applicability of Web Service Technologies to Reach Real Time Capabilities
Currently the developing process for enterprise applications is improved by the Service Oriented Architecture (SOA) paradigms. With SOAs the creation of modular and clearly defin...
Steffen Prüter, Guido Moritz, Elmar Zeeb, Ral...
117
Voted
SEFM
2005
IEEE
15 years 9 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly