SCOPUS 정보 검색 플랫폼

Volumn 1, Issue , 2001, Pages

Extending the four-variable model to bridge the system-software gap

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

SYSTEM-SOFTWARE GAP;

SYSTEMS ENGINEERING;

EID: 0035165817 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (20)

References (12)

1
- 0004154269
- McMaster University, Hamilton, Ontario, Technical Report CRL 237, September
- (1991) Functional Documentation for Computer Systems Engineering , vol.2
- Parnas, D.L.¹ Madey, J.²

3
- 84942211164
- The CoRE method for real-time requirements
- September
- (1992) IEEE Software , vol.9 , Issue.5 , pp. 22-33
- Faulk, S.R.¹ Brackett, J.² Ward, P.³ Kirby J., Jr.⁴

4
- 0003991171
- Technical Report SPC-92060-CMS, Herndon, VA: Software Productivity Consortium, December
- (1993) Consortium Requirements Engineering Guidebook
- Faulk, S.R.¹ Finneran, L.² Kirby, J.³ Moini, A.⁴

5
- 0028603236
- Experience applying the CoRE method to the lockheed C-130J software requirements
- Gaithersburg, MD, pp. , June
- (1994) Proceedings of the Ninth Annual Conference on Computer Assurance , pp. 3-8
- Faulk, S.R.¹ Finneran, L.² Kirby, J.³ Shah, S.⁴ Sutton, J.⁵

6
- 0006624016
- Rockwell Collins, Cedar Rapids, IA, Technical Report WP97-2011, August
- (1997) Specifying the Mode Logic of a Flight Guidance System in CoRE
- Miller, S.P.¹ Hoech, K.F.²

7
- 0031653430
- Specifying the mode logic of a flight guidance system in CoRE and SCR
- Clearwater Beach, FL, March
- (1998) Second Workshop on Formal Methods in Software Practice (FMSP98)
- Miller, S.P.¹

8
- 0030197750
- Automated consistency checking of requirements specification
- July . ARINC Characteristic 707-5, Radio Altimeter, Aeronautical Radio, Annapolis, MD, March 1993.
- (1996) ACM Transactions on Software Engineering and Methodology (TOSEM) , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.L.¹ Kirby, J.² Labaw, B.G.³

9
- 0006611453
- ARINC Characteristic 707-5, Radio Altimeter, Aeronautical Radio, Annapolis, MD, March
- (1993)

10
- 0006533590
- Mark 33 Digital Information Transfer System (DITS), Aeronautical Radio, Annapolis, MD, March
- (1993) ARINC Specification , vol.429 , Issue.14

11
- 0003445361
- Reading, MA: Addison-Wesley Publishing Company
- (1995) Safeware: System Safety and Computers
- Leveson, N.G.¹

12
- 84956602782
- Analyzing software requirements errors in safety-critical embedded systems
- San Diego, CA, January
- (1993) IEEE International Symposium on Requirements Engineering
- Lutz, R.R.¹

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