Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319229683, 9783319229690
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter

2015 ◽  
pp. 327-343
Author(s):  
Rocco De Nicola ◽  
Alessandro Maggi ◽  
Marinella Petrocchi ◽  
Angelo Spognardi ◽  
Francesco Tiezzi
Keyword(s):  
Modeling Language

Task Planning of Cyber-Human Systems

2015 ◽  
pp. 293-309 ◽  
Author(s):  
Roykrong Sukkerd ◽  
David Garlan ◽  
Reid Simmons
Keyword(s):  
Task Planning ◽  
Human Systems

From Failure to Proof: The ProB Disprover for B and Event-B

2015 ◽  
pp. 199-214 ◽  
Author(s):  
Sebastian Krings ◽  
Jens Bendisposto ◽  
Michael Leuschel

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

2015 ◽  
pp. 283-290 ◽  
Author(s):  
Gustavo Carvalho ◽  
Flávia Barros ◽  
Ana Carvalho ◽  
Ana Cavalcanti ◽  
Alexandre Mota ◽  
...  
Keyword(s):  
Natural Language ◽  
Test Cases ◽  
Natural Language Requirements

Generating None-Plans in Order to Find Plans

2015 ◽  
pp. 310-324
Author(s):  
Michał Knapik ◽  
Artur Niewiadomski ◽  
Wojciech Penczek
Load More ...
Sign in / Sign up

Export Citation Format

Share Document