SCOPUS 정보 검색 플랫폼

Volumn 44, Issue 2, 2002, Pages 77-90

A methodology for designing toolkits for specification level verification of interval-constrained information systems requirements

(2) Schorling, Steven M a Rine, David C a

a Krasnow Institute for Advanced Study (United States)

Author keywords

Maintenance toolkits; Requirements specification; Reuse; Verification

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE REUSABILITY; CONSTRAINT THEORY; ENTERPRISE RESOURCE PLANNING; LOGIC DESIGN; MANAGEMENT INFORMATION SYSTEMS;

INFORMATION SYSTEMS (IS);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0037083349 PISSN: 09505849 EISSN: None Source Type: Journal
DOI: 10.1016/S0950-5849(01)00218-X Document Type: Article

Times cited : (5)

References (13)

1
- 4244119843
- Dissertation, George Mason University, Summer
- (1997) An adaptation module for maintaining rule-based information distribution systems
- Ahmed, M.¹

2
- 4244116446
- Dissertation, George Mason University, Spring
- (2000) Detecting and correcting faults in chained-inference constrained rules in information distribution systems
- Arman, N.M.¹

3
- 0003547470
- Addison-Wesley, Reading, MA
- (1998) The Unified Modeling Language User Guide
- Booch, G.¹ Rumbaugh, J.² Jacobson, I.³

4
- 0008329166
- Addison-Wesley, Reading, MA
- (1996) Software Construction and Data Structures With Ada 95
- Feldman, M.B.¹

5
- 0005368854
- Dissertation, George Mason University, Fall
- (1997) Metrics for reusable software code components
- Fonash, P.M.¹

6
- 0003880013
- Addison-Wesley, Reading, MA
- (1994) Design Patterns: Elements of Reusable Object-Oriented Software
- Gamma, E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

7
- 4244061124
- Dissertation, George Mason University, Spring
- (1999) Automated derivation of test plans for corrective maintenance of information-distribution rules
- Guillen Jr., L.E.¹

8
- 0008365918
- Dissertation, George Mason University, Summer
- (1997) Detecting faults in chained-inference rules in information distribution systems
- Hwang, Y.-F.¹

9
- 0002476518
- Are components the future of software?
- (1998) Computer , vol.FEBRUARY , pp. 10-11
- Kiely, D.¹

10
- 0008353772
- Research Notes, US Army Grant
- (1995)
- Rine, D.C.¹

11
- 0033874457
- An empirical study of a software reuse reference model
- (2000) Information and Software Technology , vol.42 , Issue.1 , pp. 47
- Rine, D.C.¹ Nada, N.²

12
- 0008405087
- Dissertation, George Mason University, Summer
- (2000) Designing toolkits for specification level verification of interval-constrained information systems requirements: Algorithms and generalized design solutions
- Schorling, S.M.¹

13
- 0032074438
- Experimental models for validating technology
- (1998) Computer , vol.MAY , pp. 25-31
- Zelkowitz, M.V.¹ Wallace, D.R.²

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