Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations-Reference-Cited by-同舟云学术

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Published:2009 Issue: Volume: Page:242-261
ISSN:0302-9743
Container-title:Component-Based Software Engineering
language:
Short-container-title:

Author:

Kiniry Joseph R.,Fairmichael Fintan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02414-6_15

Reference19 articles.

1. Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17(4), 40–52 (1992)

2. Knuth, D.E.: Literate Programming. CSLI Lecture Notes, vol. 27. Center for the Study of Language and Information (1992)

3. Knuth, D.E., Levy, S.: The CWEB System of Structured Documentation, 3rd edn. Addison-Wesley Publishing Company, Reading (2001)

4. Lecture Notes in Computer Science;P. Chalin,2006

5. Waldén, K., Nerson, J.M.: Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems. Prentice-Hall, Inc., Englewood Cliffs (1995)

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

1. Towards establishing formal verification and inductive code synthesis in the PLC domain;2021 IEEE 19th International Conference on Industrial Informatics (INDIN);2021-07-21

2. A Specification and Detection Approach for Parallel Evolution Conflicts of Software Architectures;International Journal of Software Engineering and Knowledge Engineering;2017-04

3. Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems;Procedia Computer Science;2016