SCOPUS 정보 검색 플랫폼

IEEE Transactions on Reliability

Volumn 50, Issue 2, 2001, Pages 171-183

Risk assessment of software-system specifications

(3) Ammar, Hany H a,b Nikzadeh, Tooraj c Dugan, Joanne Bechta a,d

a IEEE (United States)

b West Virginia University (United States)

c Imake Software and Services Inc (United States)

d University of Virginia (United States)

Author keywords

Colored Petri net; Risk assessment; Severity measure; Software complexity metric; Software specification

Indexed keywords

CONCURRENCE COMPLEXITY METRIC; FUNCTIONAL REQUIREMENT; SOFTWARE ARCHITECTURE; SOFTWARE COMPLEXITY METRIC; SOFTWARE RELIABILITY ENGINEERING; SOFTWARE SYSTEMS;

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; HEURISTIC METHODS; INFORMATION TECHNOLOGY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; REAL TIME SYSTEMS; RELIABILITY THEORY;

RISK ASSESSMENT;

EID: 0035373237 PISSN: 00189529 EISSN: None Source Type: Journal
DOI: 10.1109/24.963125 Document Type: Article

Times cited : (19)

References (40)

1
- 0031365820
- A methodology for risk assessment of functional specifications using colored Petri nets
- Proc. Fourth Int'l Software Metrics Symp. (Metrics' 1997), Nov. 1997
- Ammar, H.H.¹ Nikzadeh, T.² Dugan, J.B.³

2
- 0026868347
- The detection of fault-prone programs
- (1992) IEEE Trans. Software Eng. , vol.18 , Issue.5 , pp. 423-433
- Munson, J.C.¹ Khoshgoftaar, T.M.²

3
- 0026108313
- Analyzing error-prone system structure
- (1991) IEEE Trans. Software Eng. , vol.17 , Issue.2 , pp. 141-152
- Selby, R.W.¹ Basili, V.R.²

4
- 0001822514
- Evaluating design metrics on large scale software
- (1993) IEEE Software , vol.10 , Issue.7 , pp. 75-81
- Wayne, M.Z.¹ Zage, D.M.²

5
- 0023383353
- Toward a constructive quality model
- July
- (1987) Software Eng. J. , vol.2 , Issue.7 , pp. 114-126
- Kitchenham, B.A.¹ Pickard, L.²

6
- 0002451656
- Software metrics for reliability assessment
- McGraw-Hill
- (1995) Handbook of Software Reliability Engineering

7
- 0024664441
- The dimensionality of program complexity
- Proc. 11th Annual Conf. on Software Eng., Pittsburgh, PA, May 1989 , pp. 245-253

8
- 0017291489
- Complexity metrics
- Dec.
- (1976) IEEE Trans. Software Eng. , vol.2 , Issue.4 , pp. 308-320
- McCabe, T.J.¹

9
- 0004255301
- John Wiley & Sons
- (1984) Multivariate Observations
- Seber, G.A.F.¹

10
- 0003370676
- Applications of a relative complexity metric for software project management
- J. Systems and Software , vol.12 , Issue.3 , pp. 283-291
- Munson, J.C.¹ Khoshgoftaar, T.M.²

11
- 85028531519
- Dynamic system complexity
- Proc. Int'l Software Metrics Symp., Baltimore, MD, May 1993 , pp. 129-140
- Khoshgoftaar, T.M.¹ Munson, J.C.² Lanning, D.L.³

12
- 0006766735
- US DoD
- Procedures of Performing a Failure Mode, Effects and Criticality Analysis

13
- 0003839397
- IEEE Press
- (1996) Probabilistic Risk Assessment for Engineers and Scientists, 2nd Ed
- Kumamoto, H.¹ Henley, E.J.²

14
- 0029510682
- Systems specification, analysis, and validation by means of timed predicated/transition nets and logic programming
- Proc. Int'l Symp. Software Reliability Eng., Oct. 1995 , pp. 68-77
- Belli, F.¹ Dreyer, J.²

15
- 0004090555
- Elsevier, North-Holland
- (1977) Elements of Software Science
- Halstead, M.H.¹

16
- 0003727445
- Addison Wesley
- (1995) Metrics and Models in Software Quality Engineering
- Kan, S.H.¹

17
- 0029698160
- Evaluation and application of complexity-based criticality models
- Proc. 3rd Int'l. Software Metrics Symp., Berlin, Mar. 1996 , pp. 174-184
- Ebert, C.¹

18
- 0002405476
- Predicting software development errors using software complexity metrics
- IEEE Computer Society Press
- (1995) Software Reliability and Testing , pp. 20-28
- Khoshgoftaar, T.M.¹ Munson, J.C.²

19
- 0029184977
- Using complexity-tracking in software development
- Proc. Annual Reliability and Maintainability Symp., 1995 , pp. 433-437
- Heimann, D.I.¹

20
- 0029754927
- Early quality prediction a case study in telecommunications
- (1996) IEEE Software , pp. 65-71
- Khoshgoftaar, T.M.¹ Allen, E.B.² Kalaichelvan, K.S.³ Goel, N.⁴

21
- 0023314258
- Safety analysis using Petri nets
- Mar.
- (1987) IEEE Trans. Software Eng. , vol.13 SE , Issue.3 , pp. 386-397
- Leveson, N.¹ Stolzy, J.L.²

22
- 0006806182
- A colored Petri net model for a naval command and control system
- Chicago, IL
- (1993) Proc. 14th Int'l Petri Net Conf. , vol.691
- Breger, J.¹ Lamontagne, L.²

23
- 84957552275
- Petri net based specifications of services in an intelligent network
- Chicago, IL
- (1993) Proc. 14th Int'l Petri Net Conf. , vol.691 , pp. 542-551
- Capellmann, C.¹ Dibold, H.²

24
- 84956861124
- On net modeling of industrial size concurrent systems
- Chicago, IL
- (1993) Proc. 14th Int'l Petri Net Conf. , vol.691 , pp. 552-561
- Cherkasova, L.¹ Kotov, V.² Rokicki, T.³

25
- 84958784173
- On scalable net modeling of OLTP
- Proc. 5th Int'l Workshop
- Petri Nets and Performance Models, PNPM93, 1993 , pp. 270-279
- Cherkasova, L.¹ Kotov, V.² Rokicki, T.³

26
- 0342345493
- Modeling and simulation of a network management system using hierarchical colored Petri nets
- European Simulation Multiconf.
- Modeling and Simulation Proc, Copenhagen, 1991 , pp. 47-52
- Christensen, S.¹ Jepsen, L.O.²

27
- 1542371003
- Validation and performance analysis of network algorithms by colored Petri nets
- Proc. 5th Int'l Workshop, Toulouse, 1993 , pp. 280-289
- Clausen, H.¹ Jensen, P.R.²

28
- 84957679765
- Designing and verifying a communications gateway using colored Petri nets and design/CPN
- Osaka
- (1996) Proc. 17th Int'l Petri Net Conf. , vol.1091 , pp. 153-171
- Floreani, D.J.¹ Billington, J.²

29
- 84958784175
- Formal verification of an arbiter cascade
- (1992) Proc. 13th Int'l Petri Net Conf. , vol.616 , pp. 205-224
- Genrich, H.J.¹ Shapiro, R.M.²

30
- 0002251759
- A formal executable specification of the ISDN basic rate interface
- Aarhus
- Proc. 12th Int'l Conf. Application and Theory of Petri Nets, 1991 , pp. 1-21
- Huber, P.¹ Pinci, V.O.²

31
- 84957644037
- Modeling and analysis of distributed program execution in BETA using colored Petri nets
- Osaka
- (1996) Proc. 17th Int'l Petri Net Conf. , vol.1091 , pp. 249-268
- Jergensen, J.B.¹ Mortensen, K.H.²

32
- 84941873167
- Analysis of an Ada system using colored Petri nets and occurrence graphs
- Sheffield
- (1992) Proc. 13th Int'l Petri Net Conf. , vol.616 , pp. 384-388
- McLendon, W.W.¹ Vidale, R.F.²

33
- 0006841911
- Risk assessment and complexity analysis of software systems using colored Petri nets
- Master's thesis, Electrical and Computer Eng. Dept, West Virginia Univ., Aug.
- (1997)
- Nikzadeh, T.¹

34
- 0006847191
- Nov.; Hughes Applied Information Systems, rev. A and CH-01
- (1994) Functional and Performance Requirements Specification for the Earth Observing System Data and Information System (EOSDIS) Core System

35
- 0006767103
- Nov.; Hughes Applied Information Systems, General Requirements
- (1994) Flight Operation Segment (FOS) Requirements Specification for the ECS Project

36
- 0006768625
- A systematic method of object-oriented software design using colored Petri nets
- Naval Underwater Warfare Ctr, 14th Int'l Conf. Applications and Theory of Petri Nets, Chicago, IL, June 1993 , pp. 21-25
- Mikolajczak, B.¹ Rumbut, J.²

37
- 0003384938
- Analysis of real-time programs with simple time Petri nets
- Proc. 1994 Int'l Symp. Software Testing and Analysis, Aug. 1994 , pp. 228-239
- Buy, U.¹ Sloan, R.H.²

38
- 0030683754
- A methodology for verification and analysis of parallel and distributed systems requirements specifications
- 2nd Int'l Workshop Software Eng. for Parallel and Distributed Systems, Boston, MA, May 1997
- Lateef, K.¹ Ammar, H.H.² Mogulotho, V.³ Nikzadeh, T.⁴

39
- 0031365820
- Risk assessment of functional specification of software systems using colored Petri nets
- Proc. Int'l Symp. Software Reliability Eng. (ISSRE'97), Nov. 1997
- Ammar, H.¹ Nikzadeh, T.² Dugan, J.B.³

40
- 84862716702
- Design/CPN [Online]

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