ASPECT - An architecture SPECification technique a report on work in progress

被引：1

作者：

Kirova, V ^{[1
]}

Rossak, W ^{[1
]}

机构：

[1] NEW JERSEY INST TECHNOL,DEPT COMP & INFORMAT SCI,SYST & SOFTWARE ENGN LAB,NEWARK,NJ 07102

来源：

IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/ECBS.1996.494532

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：220 / 227

页数：8

共 50 条

[21] Report of the Progress of the Work of the Committee on Captioned Films
不详
AMERICAN ANNALS OF THE DEAF, 1955, 100 (01) : 106 - 107
[22] The cougar project: A work-in-progress report
Demers, A
Gehrke, J
Rajaraman, R
Trigoni, N
Yao, Y
SIGMOD RECORD, 2003, 32 (04) : 53 - 59
[23] CENTER FOR THE STUDY OF READING - REPORT ON WORK IN PROGRESS
HALL, WS
READING TEACHER, 1979, 32 (04): : 506 - 510
[24] PROGRESS REPORT ON THE WORK OF THE FOOD PROTECTION COMMITTEE
HAND, DB
FOOD TECHNOLOGY, 1953, 7 (12) : 15 - 16
[25] BIENNIAL REPORT ON CARCINOGENS - A WORK-IN-PROGRESS
THIGPEN, KG
ENVIRONMENTAL HEALTH PERSPECTIVES, 1995, 103 (09) : 806 - 807
[26] STATE ARCHITECTURE NOTATION AND SIMULATION - A FORMAL TECHNIQUE FOR THE SPECIFICATION AND TESTING OF PROTOCOL SYSTEMS
PIATKOWSKI, TF
IP, LK
HE, D
COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 397 - 418
[27] Work in progress - The role of hardware and architecture in the new computer sciences
Clements, Alan
2007 37TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE, GLOBAL ENGINEERING : KNOWLEDGE WITHOUT BORDERS - OPPORTUNITIES WITHOUT PASSPORTS, VOLS 1- 4, 2007, : 965 - 966
[28] Relating architecture and specification
Turner, KJ
COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 437 - 456
[29] Specification of software architecture
Gerken, MJ
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (01) : 69 - 95
[30] Specification and Verification of Access Control Policies in EB3SEC: Work in Progress
Konopacki, Pierre
Belhaouari, Hakim
Frappier, Marc
Laleau, Regine
FOUNDATIONS AND PRACTICE OF SECURITY, 2011, 6888 : 227 - +

← 1 2 3 4 5 →