Sciweavers

163 search results - page 17 / 33
» Requirements Discovery during the Testing of Safety-Critical...
Sort
View
ISSTA
2000
ACM
14 years 5 days ago
Requirements-based monitors for real-time systems
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
Dennis K. Peters, David Lorge Parnas
ICSE
2005
IEEE-ACM
14 years 7 months ago
Static analysis tools as early indicators of pre-release defect density
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
Nachiappan Nagappan, Thomas Ball
COMPUTER
2002
75views more  COMPUTER 2002»
13 years 7 months ago
GUI Testing: Pitfalls and Process
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
Atif M. Memon
ICWS
2007
IEEE
13 years 9 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
ACE
2004
163views Education» more  ACE 2004»
13 years 9 months ago
Adventure Cycles A Software Engineering Approach
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
John Paynter, Emma Sharkey