Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642370564, 9783642370571
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model-Based Implementation of Parallel Real-Time Systems

2013 ◽  
pp. 235-249 ◽  
Author(s):  
Ahlem Triki ◽  
Jacques Combaz ◽  
Saddek Bensalem ◽  
Joseph Sifakis
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Model Based ◽  
Time Systems

scholarly journals Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

2013 ◽  
pp. 179-193 ◽  
Author(s):  
Lan Lin ◽  
Jesse H. Poore ◽  
Robert Eschbach ◽  
Robert M. Hierons ◽  
Christopher Robinson-Mallett
Keyword(s):  
Requirements Analysis ◽  
String Rewriting

scholarly journals Discovering Math APIs by Mining Unit Tests

2013 ◽  
pp. 327-342 ◽  
Author(s):  
Anirudh Santhiar ◽  
Omesh Pandita ◽  
Aditya Kanade
Keyword(s):  
Unit Tests
Load More ...
Sign in / Sign up

Export Citation Format

Share Document