SCOPUS 정보 검색 플랫폼

Information and Software Technology

Volumn 35, Issue 2, 1993, Pages 89-100

Analytical verification of information system requirements using petri net properties

(2) Sakthivel, S a Moily, JP a

a NONE

Author keywords

Petri nets; requirements analysis; verification

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; DATA ACQUISITION; DATA STRUCTURES; ERROR CORRECTION; ERROR DETECTION; INFORMATION USE; INVARIANCE; MATRIX ALGEBRA; PETRI NETS; PROGRAM DEBUGGING; SYSTEMS ANALYSIS;

ANALYTICAL VERIFICATION; INFORMATION SYSTEM REQUIREMENTS; REACHABILITY CONDITION; REQUIREMENTS ANALYSIS; SAFENESS PROPERTY; VALIDATION;

MANAGEMENT INFORMATION SYSTEMS;

EID: 0027545843 PISSN: 09505849 EISSN: None Source Type: Journal
DOI: 10.1016/S0950-5849(05)80003-5 Document Type: Article

Times cited : (2)

References (21)

1
- 0017419712
- A Requirements Engineering Methodology for Real-Time Processing Requirements
- (1977) IEEE Transactions on Software Engineering , vol.3 , Issue.1 , pp. 60-69
- Alford¹

2
- 0021158112
- Validating and verifying software requirements and design specifications
- (1984) IEEE Software , vol.1 , Issue.1 , pp. 75-88
- Boehm¹

3
- 71549146218
- Prentice-Hall
- (1985) Program design which is provably correct
- Martin¹

4
- 0023416901
- Improving software productivity
- (1987) Computer , vol.20 , Issue.9 , pp. 43-57
- Boehm¹

5
- 0021212654
- Software Quality Assurance
- (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.1 , pp. 36-41
- Buckley¹ Poston²

6
- 0040348700
- Computer-aided software engineering (CASE): technology for improving productivity
- (1985) Database , vol.17 , Issue.1 , pp. 35-43
- Case¹

7
- 0023670512
- A Generalized Timed Petri Net Model for Performance Analysis
- (1987) IEEE Transactions on Software Engineering , vol.13 , Issue.12 , pp. 1297-1310
- Holliday¹ Vernon²

8
- 0026172023
- Specification of fault-toler-ant system issues by predicate/transition nets and regular expressions—approach and case study
- (1991) IEEE Trans. Soft. Eng. , vol.17 , Issue.6 , pp. 513-526
- Belli¹ Grosspietsch²

9
- 0026822741
- Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions
- (1992) IEEE Trans. Soft. Eng. , vol.18 , Issue.3 , pp. 252-261
- Papelis¹ Casavant²

10
- 0023983405
- PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols
- (1988) IEEE Trans. Soft. Eng. , vol.14 , Issue.3 , pp. 301-316
- Billington¹ Wheeler² Wilbur-Ham³

11
- 84911232984
- Graphic modelling by Petri nets for production planning
- North-Holland, New York
- (1984) Advances in production management systems IFIP
- Gil-Rock¹

12
- 0026102908
- Modelling and on-line scheduling of flexible manufacturing systems using stochastic Petri nets
- (1991) IEEE Trans. Soft. Eng. , vol.17 , Issue.2 , pp. 126-132
- Hatano¹ Yamagata² Tamura³

13
- 0025263587
- Petri net tools for the specification and analysis of diserete controllers
- (1990) IEEE Trans. Soft. Eng. , vol.16 , Issue.1 , pp. 39-50
- Willson¹ Krogh²

14
- 0003757953
- Representation, specification, and automation of office procedures
- Wharton School, University of Pennsylvania, Philadelphia, PA
- (1977) PhD Dissertation
- Zisman¹

15
- 70449879431
- Information system verification and validation during requirements analysis using Petri nets
- (1988) J. MIS , vol.5 , Issue.3 , pp. 33-52
- Sakthivel¹ Tanniru²

16
- 84911232982
- A tripartite approach to information systems development
- Boston
- (1987) Proc. National DSI Meeting , pp. 318-320
- Bullers¹

17
- 0017538857
- Petri nets
- (1977) Comput. Surv , vol.9 , Issue.3 , pp. 223-252
- Peterson¹

18
- 0004068620
- English translation, University of Bonn
- (1962) Kommunikation mit Automaten
- Petri¹

19
- 84911257994
- Communication with Automata Supplement 1 to, Rome Air Development Center, Griffiss Air Base, Rome, NY
- (1965) Tech. Report RADC-TR-65-377
- Greene¹

20
- 0000204625
- A simple and fast algorithm to obtain all invariants of a generalized Petri net
- Girault G, Reisig W, Springer-Verlag
- (1982) Application and theory of Petri nets , pp. 301-310
- Martinez¹ Silva²

21
- 33748016036
- Petri nets and their applications—an introduction
- Shi-Kuo Chang, Plenum Press
- (1984) Management and office information systems
- Murata¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.