A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

Pascal Poizat; Jean-Claude Royer

首页> 外文期刊>Journal of Universal Computer Science >A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

【24h】

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

机译：基于符号转换系统和时间逻辑的形式化体系结构描述语言

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Component Based Software Engineering has now emerged as a discipline for system development. After years of battle between component platforms, the need for means to abstract away from specific implementation details is now recognized. This paves the way

机译：基于组件的软件工程现已成为系统开发的学科。在组件平台之间进行了多年的战斗之后，现在已经认识到需要从特定的实现细节中抽象出来的方法。这铺平了道路

著录项

来源
《Journal of Universal Computer Science》 |2006年第12期|共42页
作者
Pascal Poizat; Jean-Claude Royer;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints [J] . Sean Policarpio, Yan Zhang International journal of secure software engineering . 2011,第1期

机译：基于答案集编程和时间间隔逻辑约束的XML授权形式语言
2. A formal concurrency model based architecture description language for synthesis of software development tools [J] . Wei Qin, Subramanian Rajagopalan, Sharad Malik ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第7期

机译：基于正式的并发模型的体系结构描述语言，用于软件开发工具的综合
3. Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems [J] . Zhenhua Yu Yuanli Cai International journal of computer science and network security . 2006,第1B期

机译：基于面向对象的Petri网的多智能体体系结构描述语言
4. An Aspect-Oriented Software Architecture Description Language based on temporal logic [C] . Rong Mei Proceedings of the 5th International Conference on Computer Science and Education . 2010

机译：基于时间逻辑的面向方面的软件体系结构描述语言
5. Logic, formal languages, and formal language identification. Some logical properties of the languages in the Chomsky hierarchy, and an interrogative model of formal language identification. [D] . Pylkko, Pauli Olavi. 1988

机译：逻辑，形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性，以及形式语言标识的疑问模型。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic [O] . Poizat Pascal, Royer Jean-Claude 2006

机译：基于符号转换系统和模态逻辑的形式化架构描述语言
8. SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. [R] . Feiler, P. H., Lewis, B., Vestal, S. 2003

机译：saE航空电子架构描述语言（aaDL）标准：基于模型的架构驱动的嵌入式系统工程的基础。

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic

摘要

著录项

相似文献

相关主题

期刊订阅