Sciweavers

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

40

SIGSOFT
2010
ACM

favoriteEmaildiscussreport

124views Software Engineering» more SIGSOFT 2010»

From requirements to partial behavior models: an iterative approach to incremental specification refinement

13 years 8 months ago

From requirements to partial behavior models: an iterative approach to incremental specification refinement

Download www-scf.usc.edu

In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining Modal Transition Systems. Categories and Subject Descriptors D.2 [Software Engineering]: Requirements/Specifications; D.2 [Software Engineering]: Software Architectures Keywords modal transition systems, synthesis, elicitation, refinement

Ivo Krka

Real-time Traffic

Modal Transition Systems | SIGSOFT 2010 | Software Engineering | Transition Systems |

claim paper

Related Content

» Definition and Correct Refinement of Operation Specifications

» Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams

» Automatic steering of behavioral model inference

» Incremental Refinement of Image SalientPoint Detection

» Reduced Epipolar Cost for Accelerated Incremental SfM

» Requirements engineering from craft to discipline

» User Interface Prototyping Based on UML Scenarios and HighLevel Petri Nets

» Extracting Behavior Specification of Components in Legacy Applications

» Simulationbased Validation and Defect Localization for Evolving SemiFormal Requirements Mo...

Post Info
More Details (n/a)

Added	15 Feb 2011
Updated	15 Feb 2011
Type	Journal
Year	2010
Where	SIGSOFT
Authors	Ivo Krka

Comments (0)