SCOPUS 정보 검색 플랫폼

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 329-332

Using a scenario model to derive the functions of a formal specification

(3) Mauco, María Virginia a Riesco, Daniel a George, Chris a

a UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES (Argentina)

Author keywords

Formal methods; Language extended lexicon; RAISE method; Requirements engineering; Scenario model

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE MAINTENANCE; HEURISTIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS;

FORMAL SPECIFICATION; LANGUAGE EXTENDED LEXICON; SCENARIO MODEL;

REQUIREMENTS ENGINEERING;

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

Times cited : (2)

References (10)

1
- 0347167293
- Research Report 227. UNU/IIST, Macau, February
- (2001) RAISE Tools User Guide
- George, C.¹

2
- 0007928006
- A scenario construction process
- Springer-Verlag
- (2000) Requirements Engineering Journal , vol.5 , Issue.1 , pp. 38-61
- Leite, J.¹ Hadad, G.² Doorn, J.³ Kaplan, G.⁴

3
- 0000542534
- Enhancing a requirements baseline with scenarios
- Springer-Verlag
- (1997) Requirements Engineering Journal , vol.2 , Issue.4 , pp. 184-198
- Leite, J.¹ Rossi, G.² Maiorana, V.³ Balaguer, F.⁴ Kaplan, G.⁵ Hadad, G.⁶ Oliveros, A.⁷

4
- 4243923285
- Using requirements engineering to derive a formal specification
- Research Report 223, UNU/IIST, Macau, December
- (2000)
- Mauco, V.¹ George, C.²

5
- 0007878640
- Deriving the types of a formal specification from a client-oriented technique
- Japan
- (2001) Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing , pp. 1-8
- Mauco, V.¹ Riesco, D.² George, C.³

6
- 0007879124
- Heuristics to structure a formal specification in rsl from a client-oriented technique
- (2001) 1st Annual International Conference on Computer and Information Science (ICIS 01), Orlando, Florida, U.S.A., October 3-5, 2001
- Mauco, V.¹ Riesco, D.² George, C.³

7
- 0034173997
- Formal justification in object-oriented modelling: A linguistic approach
- April; Elsevier
- (2000) Data and Knowledge Engineering , vol.33 , Issue.1 , pp. 25-47
- Capuchino, J.N.A.M.¹ De Riet, R.P.V.²

8
- 0004120583
- T. RAISE Language Group; BCS Practitioner Series. Prentice Hall
- (1992) The RAISE Specification Language

9
- 0003711578
- T. RAISE Method Group; BCS Practitioner Series. Prentice Hall
- (1995) The RAISE Development Method

10
- 0033716145
- Requirements engineering in the year 00: A research perspective
- ACM
- (2000) Proceedings of the 22nd Int. Conf. on Software Engineering , pp. 5-19
- Van Lamsweerde, A.¹

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