SCOPUS 정보 검색 플랫폼

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn 28, Issue 1, 1996, Pages 150-154

Inspections of formal specifications

(1) Hilburn, Thomas B a

a EMBRY RIDDLE AERONAUTICAL UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; ENGINEERING EDUCATION; FORMAL LANGUAGES; INSPECTION; SPECIFICATIONS; TEACHING;

FORMAL METHOD COURSE; FORMAL SPECIFICATIONS; UNDERGRADUATE PROGRAM;

SOFTWARE ENGINEERING;

EID: 0029711967 PISSN: 00978418 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/236462.236529 Document Type: Article

Times cited : (5)

References (11)

1
- 0004052866
- Wiley, 2nd Edition
- Diller, A., Z - Introduction to Formal Methods, Wiley, 2nd Edition, 1994.
- (1994) Z - Introduction to Formal Methods
- Diller, A.¹

2
- 33748696414
- Process Improvement and the Corporate Balance Sheet
- July
- Dion, Raymond, "Process Improvement and the Corporate Balance Sheet", IEEE Software, July 1993.
- (1993) IEEE Software
- Dion, R.¹

3
- 0017292244
- Design and Code Inspections to Reduce Errors in Program Development
- Fagan, M.E., "Design and Code Inspections to Reduce Errors in Program Development", IBM Systems Journal, Vol. 15, No. 3, 1976, pp. 186-211.
- (1976) IBM Systems Journal , vol.15 , Issue.3 , pp. 186-211
- Fagan, M.E.¹

4
- 0003432709
- McGraw-Hill
- Ebenau, R. G., and Strauss, S. H., Software Inspection Process, McGraw-Hill, 1994.
- (1994) Software Inspection Process
- Ebenau, R.G.¹ Strauss, S.H.²

5
- 0028194745
- Experience with Formal Methods in Critical Systems
- January
- Gerhart, S., Craigen, D., and Ralston, T., "Experience with Formal Methods in Critical Systems", IEEE Software, January 1994, pp. 21-28.
- (1994) IEEE Software , pp. 21-28
- Gerhart, S.¹ Craigen, D.² Ralston, T.³

6
- 21844513544
- The Integration of Software Engineering into a Computer Science Curriculum
- March
- Hilburn, T., Hirmanpour, I. and Kornecki, A., "The Integration of Software Engineering into a Computer Science Curriculum", Lecture Notes in Computer Science: Software Engineering Education, Proceedings of the Eight SEI Conference on Software Engineering Education, March 1995.
- (1995) Lecture Notes in Computer Science: Software Engineering Education, Proceedings of the Eight SEI Conference on Software Engineering Education
- Hilburn, T.¹ Hirmanpour, I.² Kornecki, A.³

7
- 0004010083
- Addison-Wesley, Reading, MA
- Humphrey, Watts S., Managing the Software Process, Addison-Wesley, Reading, MA, 1989.
- (1989) Managing the Software Process
- Humphrey, W.S.¹

8
- 1842709742
- Process-Oriented Software Education
- November
- Khajenoori, S., "Process-Oriented Software Education", IEEE Software, November 1994, pp. 99-101.
- (1994) IEEE Software , pp. 99-101
- Khajenoori, S.¹

9
- 0027677524
- System Development Woes
- October
- Neumann, P., "System Development Woes", Communications of the ACM, October 1993, p. 146.
- (1993) Communications of the ACM , pp. 146
- Neumann, P.¹

10
- 84946968040
- Capability Maturity Model, Version 1.1
- July
- Paulk, M., et. al., "Capability Maturity Model, Version 1.1", IEEE Software, July 1993, pp 18-27.
- (1993) IEEE Software , pp. 18-27
- Paulk, M.¹

11
- 0003625739
- McGraw-Hill
- Pressman, R.S., Software Engineering: A Practitioner's Approach, 3rd Edition, McGraw-Hill, 1992.
- (1992) Software Engineering: A Practitioner's Approach, 3rd Edition
- Pressman, R.S.¹

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