William N. Robinson  Home/Search
Context Related
| gsu.edu/~wrobinso/papers/HICSS02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gsu.edu/~wrobinso/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of software from requirements is error prone. Finally, the installation and use of compiled software can introduce errors. Thus, it can be difficult to provide assurances about the state of a software's execution. (Update)
Cited by: More
Deliberation in a Metadata-Based Modeling and.. - Gans, Jarke.. (2004) (Correct)
Active bibliography (related documents): More All
0.8: Requirements Interaction Management - Robinson, al. (1999) (Correct)
0.6: Adding Value to Formal Test Oracles - James Andrews Rui (Correct)
0.5: Model Checking and Object Orientation: A Tool Overview - Taïani, Paludetto, Cros (Correct)
Similar documents based on text: More All
0.5: Surfacing Root Requirements Interactions from Inquiry Cycle .. - Robinson, Pawlowski (1997) (Correct)
0.5: Requirement Conflict Restructuring - Robinson, Volkov (1999) (Correct)
0.5: Managing Requirements Inconsistency with Development Goal.. - Robinson, al. (1997) (Correct)
BibTeX entry: (Update)
W.N. Robinson. Monitoring software requirements using instrumented code. In IEEE, Proceedings of the 35th Annual Hawaii International Conference on Systems Sciences, January 7-10 2002. http://citeseer.ist.psu.edu/robinson02monitoring.html More
@misc{ robinson02monitoring,
author = "W. Robinson",
title = "Monitoring software requirements using instrumented code",
text = "W.N. Robinson. Monitoring software requirements using instrumented code.
In IEEE, Proceedings of the 35th Annual Hawaii International Conference
on Systems Sciences, January 7-10 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/robinson02monitoring.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Prueli - 1992
229 Goal-Directed Requirements Acquisition - Dardenne, van Lamsweerde et al. - 1993
173 Safeware: System Safety and Computers (context) - Leveson - 1995
104 Model Checking Programs - Visser, Havelund et al. - 2000
99 Rules of Encounter (context) - Rosenschein, Zlotkin - 1994
48 Formal Refinement Patterns for Goal-Driven Requirements Elab.. - Darimont, van Lamsweerde - 1996
44 Debugging Ada tasking programs (context) - Heimbold, Luckham - 1985
40 a Specification language for Ada (context) - Luckham, vonHenke et al. - 1985
33 Using test oracles generated from program documentation - Peters, Parnas - 1984
31 vUML: a tool for verifying UML models - Lilius, Paltor - 1999
30 Debugging concurrent Ada programs by deterministic execution (context) - Tai, Carver et al. - 1991
30 Requirements Monitoring in Dynamic Environments - Fickas, Feather - 1995
21 Software Engineering Standards (context) - Mazza, Fairclough et al. - 1994
19 International Telecommunication Union (context) - Union, Directory et al. - 1989
19 Agent-Based Support for Communication between Developers and.. (context) - Girgensohn, Redmiles et al. - 1994
17 Reconciling System Requirements and Runtime Behavior - Feather, Fickas et al. - 1998
14 Rapid application of lightweight formal methods for consiste.. (context) - Feather - 1998
14 BIT: A Tool for Instrumenting Java Bytecodes - Lee, Zorn - 1997
13 Supporting the Negotiation Life-Cycle - Robinson, Volkov - 1998
13 Managing Requirements Inconsistency with Development Goal Mo.. - Robinson, Pawlowski - 1999
10 Testing using log file analysis: Tools (context) - Andrews - 1998
9 Transactions on Software Engineering (context) - Holzmann - 1997
7 Poet: Target-system-independent visualizations of complex di.. (context) - Kunz, Black et al. - 1997
6 Standards Compliant Software Development - Emmerich, Finkelstein et al. - 1997
5 Compiler and Tool Support for Debugging Object Protocols (context) - Butkevich, Renedo et al.
5 A Protocol for Secure Transactions - Steves, Edmondson-Yurkanan et al. - 1996
5 FLEA : Formal Language for Expressing Assumptions Language D.. (context) - Feather - 1997
3 Residual Requirements and Architectural Residues (context) - Wile - 2001
3 Sisto A Deadlock Detection Tool for Concurrent Java Programs.. (context) - Demartini, Iosif - 1999
2 The Production Cell: An Exercise in the Formal Verification .. - Lilius, Paltor - 1999
2 Broad-Spectrum Studies of Log File Analysis - Andrews, Zhang - 2000
1 Managing Software Requirements: A Unified Process (context) - Leffingwell, Widrig - 2000
1 Evolution of Safety-Critical Requirements Post-Launch - Lutz - 2001
1 Efficient specication -based oracles for critical systems (context) - O'Malley, Richardson et al. - 1996
1 Continous Self-Evaluation for the Self-Improvement of Softwa.. (context) - Clarke, Osterweil - 1936
1 Surviving Costly Web Strikes (context) - Harrison, Ohlson - 2000
1 Security protocol verification using SPIN (context) - Jsang - 1995
1 An automatic log le analyzer for parallel programs (context) - Qiao, Zhang - 1999
1 Automatic Program Transformation with JOIE by (context) - Cohen, Chase et al. - 1998
Documents on the same site (http://www.cis.gsu.edu/~wrobinso/papers/): More
Supporting the Negotiation Life-Cycle - Robinson, Volkov (Correct)
Managing Requirements Inconsistency with Development Goal.. - Robinson, al. (1997) (Correct)
Electronic Brokering for Automated Contracting of Software Applets - Robinson (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC