Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design
暂无分享,去创建一个
Jonathan Schmidt | Stephan Rudolph | Benedikt Walter | Jan Martin | Hanna Dettki | S. Rudolph | Benedikt Walter | Jan Martin | Jonathan Schmidt | Hanna Dettki
[1] Stephan Rudolph,et al. On a Grammar-Based Design Language That Supports Automated Design Generation and Creativity , 2004 .
[2] Andreas Spillner,et al. Basiswissen Softwaretest - Aus- und Weiterbildung zum Certified Tester, Foundation Level nach ISTQB-Standard (3. Aufl.) , 2005 .
[3] Salomon Sickert. Linear Temporal Logic , 2016, Arch. Formal Proofs.
[4] Martin Glinz,et al. On Non-Functional Requirements , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).
[5] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[6] Alistair Mavin,et al. Easy Approach to Requirements Syntax (EARS) , 2009, 2009 17th IEEE International Requirements Engineering Conference.
[7] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .
[8] Guiming Luo,et al. Direct translation of LTL formulas to Büchi automata , 2012, 2012 IEEE 11th International Conference on Cognitive Informatics and Cognitive Computing.
[9] Frank Houdek,et al. Model-based engineering of an automotive adaptive exterior lighting system: Realistic example specifications of behavioral requirements and functional design , 2015 .
[10] D. Holdstock. Past, present--and future? , 2005, Medicine, conflict, and survival.
[11] A. P. Sistla,et al. Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.
[12] Crispin Hales,et al. Engineering design: a systematic approach , 1989 .
[13] Stephan Rudolph,et al. A SEMANTIC VALIDATION SCHEME FOR GRAPH-BASED ENGINEERING DESIGN GRAMMARS , 2006 .
[14] George S. Avrunin,et al. Property specification patterns for finite-state verification , 1998, FMSP '98.
[15] Alistair Mavin,et al. Big Ears (The Return of "Easy Approach to Requirements Engineering") , 2010, 2010 18th IEEE International Requirements Engineering Conference.
[16] Wolfgang Minker,et al. Domain-Level Reasoning for Spoken Dialogue Systems , 2011 .
[17] Enrico Franconi,et al. A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..
[18] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.
[19] Paul Gastin,et al. Fast LTL to Büchi Automata Translation , 2001, CAV.
[20] Stephan Rudolph,et al. Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
[21] Stephan Rudolph,et al. A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements , 2017, 2017 IEEE 25th International Requirements Engineering Conference (RE).
[22] Dariusz Kania,et al. Finite State Machine Logic Synthesis for Complex Programmable Logic Devices , 2013 .
[23] Tiziano Villa,et al. Synthesis of Finite State Machines: Logic Optimization , 1997 .
[24] Tiziano Villa,et al. Synthesis of Finite State Machines: Functional Optimization , 2010 .