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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642338250, 9783642338267
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Denotational Model for Instantaneous Signal Calculus

2012 ◽  
pp. 126-140 ◽  
Author(s):  
Yongxin Zhao ◽  
Longfei Zhu ◽  
Huibiao Zhu ◽  
Jifeng He

Verification of Aspectual Composition in Feature-Modeling

2012 ◽  
pp. 109-125 ◽  
Author(s):  
Qinglei Zhang ◽  
Ridha Khedri ◽  
Jason Jaskolka
Keyword(s):  
Feature Modeling

Checking Sanity of Software Requirements

2012 ◽  
pp. 48-62 ◽  
Author(s):  
Jiří Barnat ◽  
Petr Bauch ◽  
Luboš Brim
Keyword(s):  
Software Requirements

Efficient Probabilistic Abstraction for SysML Activity Diagrams

2012 ◽  
pp. 263-277 ◽  
Author(s):  
Samir Ouchani ◽  
Otmane Ait Mohamed ◽  
Mourad Debbabi
Keyword(s):  
Activity Diagrams ◽  
Sysml Activity Diagrams

A Configuration Approach for IMA Systems

2012 ◽  
pp. 203-217 ◽  
Author(s):  
Visar Januzaj ◽  
Stefan Kugele ◽  
Florian Biechele ◽  
Ralf Mauersberger

scholarly journals An Optimization Approach for Effective Formalized fUML Model Checking

2012 ◽  
pp. 248-262 ◽  
Author(s):  
Islam Abdelhalim ◽  
Steve Schneider ◽  
Helen Treharne
Keyword(s):  
Model Checking ◽  
Optimization Approach

Frama-C

2012 ◽  
pp. 233-247 ◽  
Author(s):  
Pascal Cuoq ◽  
Florent Kirchner ◽  
Nikolai Kosmatov ◽  
Virgile Prevosto ◽  
Julien Signoles ◽  
...  

Towards a Formal Component Model for the Cloud

2012 ◽  
pp. 156-171 ◽  
Author(s):  
Roberto Di Cosmo ◽  
Stefano Zacchiroli ◽  
Gianluigi Zavattaro
Keyword(s):  
Component Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document