Formal specification of a reactive system: An exercise in VHDL, LOTOS and UNITY

被引：0
|
作者：
Pierre, L [1 ]
机构：
[1] UNIV AIX MARSEILLE 1,CMI,LAB INFORMAT MARSEILLE,F-13453 MARSEILLE 13,FRANCE
来源：
EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/EDTC.1996.494371
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：607 / 607
页数：1
相关论文
共 50 条
  • [31] Semi-Formal and Formal Interface Specification for System of Systems Architecture
    Bryans, Jeremy
    Payne, Richard
    Holt, Jon
    Perry, Simon
    2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 612 - 619
  • [32] Hardware/software embedded system specification and design using Ada and VHDL
    López, A
    Veiga, M
    Villar, E
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 356 - 370
  • [33] cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
    Suryadevara, Jagadish
    Chung, Lawrence
    Shyamasundar, R. K.
    JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 187 - 207
  • [34] Formal Specification and Analysis of an e-Voting System
    Weldemariam, Komminist
    Kemmerer, Richard A.
    Villafiorita, Adolfo
    FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS, 2010, : 164 - 171
  • [35] Using Reo for formal specification and verification of system designs
    Razavi, Niloofar
    Sirjani, Marjan
    FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 113 - +
  • [36] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [37] FORMAL SPECIFICATION OF A PERSISTENT OBJECT MANAGEMENT-SYSTEM
    MURPHY, J
    GRIMSON, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 1993, 35 (05) : 277 - 286
  • [38] THE FORMAL SPECIFICATION OF A SMALL BOOKSHOP INFORMATION-SYSTEM
    GRAY, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 263 - 272
  • [39] A formal specification in B of a medical decision support system
    Poerschke, C
    Lightfoot, DE
    Nealon, JL
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 497 - 512
  • [40] THE DEVELOPMENT AND PROOF OF A FORMAL SPECIFICATION FOR A MULTILEVEL SECURE SYSTEM
    GLASGOW, JI
    MACEWEN, GH
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1987, 5 (02): : 151 - 184
12345