Handling Heterogeneity in Formal Developments of Hardware and Software Systems-Reference-Cited by-同舟云学术

Handling Heterogeneity in Formal Developments of Hardware and Software Systems

Published:2012 Issue: Volume: Page:327-328
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
language:
Short-container-title:

Author:

Ait-Ameur Yamine,Méry Dominique

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34032-1_33.pdf

Reference8 articles.

1. Bjorner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer (2007)

2. Bjorner, D.: Software Engineering 1 Abstraction and Modelling. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21149-5

3. Bjorner, D.: Software Engineering 2 Specification of Systems and Languages. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21150-1

4. Bjorner, D.: Software Engineering 3 Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series (2006) ISBN: 978-3-540-21151-8

5. Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014

2. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014