Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

53

ICSE
1995
IEEE-ACM

favoriteEmaildiscussreport

104views Software Engineering» more ICSE 1995»

Completeness and Consistency Analysis of State-Based Requirements

15 years 1 months ago

Completeness and Consistency Analysis of State-Based Requirements

Download wwwbruegge.in.tum.de

Mats Per Erik Heimdahl, Nancy G. Leveson

Real-time Traffic

ICSE 1995 | Software Engineering |

claim paper

Related Content

» Automating ScenarioDriven Structured Requirements Engineering

» A Content Analysis Technique for Inconsistency Detection in Software Requirements Document...

» ToolSupported Verification of Product Line Requirements

» A ModelBased Approach To Requirements Analysis

» Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering

» GoalOriented Requirements Enginering A Roundtrip from Research to Practice

» Requirements engineering from craft to discipline

» Analysis on the redundancy of wireless sensor networks

» A ModelBased Approach to Presentation A Continuum from Task Analysis to Prototype

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	ICSE
Authors	Mats Per Erik Heimdahl, Nancy G. Leveson

Comments (0)