Formal detection of feature interactions with logic programming and LOTOS

被引：0

作者：

Nicolas Gorse

Luigi Logrippo

Jacques Sincennes

机构：

[1] Université de Montréal,Dépt. d'informatique et recherche opérationnelle

[2] Université du Québec en Outaouais,Dépt. d'informatique et ingénierie

[3] University of Ottawa,School of information technology and engineering

来源：

Software & Systems Modeling | 2006年 / 5卷 / 2期

关键词：

D O I：

10.1007/s10270-005-0104-3

中图分类号：

学科分类号：

摘要：

引用

页码：135 / 135

共 50 条

[21] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
YAMANO, K
JOKANOVIC, D
ANDO, T
OHTA, M
TAKAHASHI, K
IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
[22] DILL - SPECIFYING DIGITAL LOGIC IN LOTOS
TURNER, KJ
SINNOTT, RO
FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 71 - 86
[23] Formal Specification and Verification of Components for Industrial Logic Control Programming
Ljungkrantz, Oscar
Akesson, Knut
Fabian, Martin
2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2008, : 935 - 940
[24] A FORMAL DEFINITION AND A SOUND IMPLEMENTATION OF ANALOGICAL REASONING IN LOGIC PROGRAMMING
COSTANTINI, S
LANZARONE, GA
SBARBARO, L
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (01) : 17 - 36
[25] USING LOGIC PROGRAMMING FOR FORMAL SPECIFICATION AND VALIDATION OF DATA MODELS
RAMIREZ, RG
CHOOBINEH, J
DATTERO, R
INFORMATION & MANAGEMENT, 1990, 19 (02) : 101 - 112
[26] Concept Learning in AutomationML with Formal Semantics and Inductive Logic Programming
Hua, Yingbing
Hein, Bjoern
2018 IEEE 14TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2018, : 1542 - 1547
[27] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
EDDBALI, A
DERANSART, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
[28] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
BECKMAN, L
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 335 - 349
[29] USE OF LOTOS IN THE FORMAL DEVELOPMENT OF AN OSI PROTOCOL
CLARK, RG
JONES, VM
COMPUTER COMMUNICATIONS, 1992, 15 (02) : 86 - 92
[30] TOOL SUPPORT TO IMPLEMENT LOTOS FORMAL SPECIFICATIONS
MANAS, JA
DEMIGUEL, T
SALVACHUA, J
AZCORRA, A
COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 815 - 839

← 1 2 3 4 5 →