Sequence-based software specification of deterministic systems

被引：0
|
作者：
Prowell, Stacy J. [1 ]
Poore, Jesse H. [1 ]
机构：
[1] Software Engineering Technology, Inc, Knoxville, United States
来源：
Software - Practice and Experience | 1998年 / 28卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：329 / 344
相关论文
共 50 条
  • [1] Sequence-based software specification of deterministic systems
    Prowell, SJ
    Poore, JH
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (03): : 329 - 344
  • [2] Foundations of sequence-based software specification
    Prowell, SJ
    Poore, JH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (05) : 417 - 429
  • [3] An Algorithm for Forward Reduction in Sequence-Based Software Specification
    Lin, Lan
    Xue, Yufeng
    Song, Fengguang
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (9-10) : 1431 - 1451
  • [4] An axiom system for sequence-based specification
    Lin, Lan
    Prowell, Stacy J.
    Poore, Jesse H.
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (02) : 360 - 376
  • [5] Sequence-Based Deterministic Initialization for Evolutionary Algorithms
    Elsayed, Saber
    Sarker, Ruhul
    Coello Coello, Carlos A.
    [J]. IEEE TRANSACTIONS ON CYBERNETICS, 2017, 47 (09) : 2911 - 2923
  • [6] Applying string-rewriting to sequence-based specification
    Robert Eschbach
    Lan Lin
    Jesse H. Poore
    [J]. Formal Methods in System Design, 2013, 43 : 414 - 449
  • [7] Applying string-rewriting to sequence-based specification
    Eschbach, Robert
    Lin, Lan
    Poore, Jesse H.
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (03) : 414 - 449
  • [8] Protocol Sequence-based Control of Networked Systems
    Wen, Shixi
    Guo, Ge
    Yang, Guoqing
    Yue, Wei
    [J]. 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 7253 - 7258
  • [9] Sequence-Based Approaches to Course Recommender Systems
    Wang, Ren
    Zaiane, Osmar R.
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, DEXA 2018, PT I, 2018, 11029 : 35 - 50
  • [10] Sequence-based genomics
    Andrew JG Simpson
    [J]. Genome Biology, 3 (9):
12345