1 / 8

robort

group 05. robort. lab 03. Debugger Specification. Specification Techniques. Specifying Software Requirements for Complex Systems: New Techniques and Their Application by K. Heninger Natural Language → Technical Tried to direct translate Mockup -> Technical

teresamiller
Download Presentation

robort

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. group 05 robort lab 03

  2. DebuggerSpecification

  3. Specification Techniques • Specifying Software Requirements for Complex Systems: New Techniques and Their Application by K. Heninger • Natural Language → Technical • Tried to direct translate • Mockup -> Technical • Made sure everything on mockup had a technical counterpart

  4. Techniques • $ SymbolicConstants $ • ! TextMacros ! • % Conditions % • // Output // • / Input / • * Mode *

  5. Techniques (contd.) • Symbolic Constants : Values • Text Macros : Definitions • Conditions : States of components • Modes : States of debugger • Outputs : Screen display • Input : Buttons • Tables : Lots of them

  6. Techniques (contd.) • Ensured Everything Was Unique • Ensured Everything Was Necessary • Made Everything Easy On The Eyes

  7. Good Things • Color/Variable System : No Ambiguity • Tables : Help Understanding Specification • Completeness Required : Helped Fill Holes

  8. Problems • What To Classify Things As • Not Many Modes Of Operation • Validity of some events tables unclear • Realized That We Needed To Do More Work To Clarify Things

More Related