Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. R. Allen and D. Garlan. Formal connectors. Technical Report CMU-CS-94-115, School of Computer Science, Carnegie Mellon University, 1994.
2. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5:23–70, 1993.
3. Specification of Abstract Syntax Notation One (ASN-1). 1987. ISO 8824.
4. B. Bershad, D. Ching, E. Lazowsky, J. Sanislo, and M. Schwartz. A remote procedure call facility for interconnecting heterogeneous computer systems. IEEE Transactions on Software Engineering, SE-13:880–894, 1987.
5. J.A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Thread-Safe Term Library;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Integration and Orchestration of Analysis Tools;Composing Model-Based Analysis Tools;2021
3. Globalized Domain Specific Language Engineering;Globalizing Domain-Specific Languages;2015
4. Automated Translation and Analysis of a ToolBus Script for Auctions;Fundamentals of Software Engineering;2010
5. Interaction and Coordination of Tools for Structured Data;Leveraging Applications of Formal Methods;2006