SCOPUS 정보 검색 플랫폼

Information and Software Technology

Volumn 35, Issue 11-12, 1993, Pages 659-667

Formal process modelling

(1) Minkowitz, C a

a STAFFORDSHIRE UNIVERSITY (United Kingdom)

Author keywords

formal model; order fulfilment process; process modelling; system specification; VDM

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER GRAPHICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; DATABASE SYSTEMS; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

FORMAL MODEL; FORMAL PROCESS MODELLING; ORDER FULFILLMENT PROCESS; SYSTEM SPECIFICATION; VIDEO DISPLAY METAFILE;

COMPUTER SIMULATION;

EID: 0027699979 PISSN: 09505849 EISSN: None Source Type: Journal
DOI: 10.1016/0950-5849(93)90081-D Document Type: Article

Times cited : (4)

References (16)

1
- 0041663393
- Prentice-Hall
- (1990) Case studies in systematic software development
- Jones¹ Shaw²

2
- 0004099678
- Prentice-Hall
- (1987) Specification case studies
- Hayes¹

3
- 0024303558
- Justification of formal methods for system specification
- (1989) Soft. Eng. J. , vol.4 , Issue.1 , pp. 26-35
- Cohen¹

4
- 0141715584
- Defining formal models of the software development process
- P Brereton, Ellis Horwood
- (1988) Software engineering environments , pp. 13-26
- Ould¹ Roberts²

5
- 0024181013
- Rule-based modelling of the software development process
- Moretonhampstead, UK
- (1988) Proc. 4th Int. Soft. Process Workshop , pp. 84-86
- Kaiser¹

6
- 0024984134
- Software process à la algebra: OBJ for OBJ
- 2nd edn, ICSE-12, Nice, France
- (1990) Proc. 12th Int. Conf. Soft. Eng. , pp. 12-23
- Nakagawa¹ Futatsugi²

7
- 0004176640
- Prentice-Hall
- (1990) Systematic software development using VDM
- Jones¹

8
- 0004285876
- Prentice-Hall
- (1989) Modern structured analysis
- Yourdon¹

9
- 0004215719
- Introducing OBJ3
- 2nd edn, Menlo Park, CA, USA
- (1988) Tech. Rep. SRI-CSL-88-9, SRI Int.
- Goguen¹ Winkler²

10
- 0346874796
- An object-oriented Z environment
- 2nd edn, Lecture Notes in Computer Science, Springer-Verlag, New York
- (1991) 5th European Conf. Object-oriented Programming , vol.512 , pp. 181-199
- Alenca¹ Goguen²

11
- 0024863958
- Software process modelling: a case study
- Hawaii
- (1989) Proc. 22nd IEEE Ann. Hawaii Int. Conf. System Sciences , pp. 175-188
- Kellner¹ Hansen²

12
- 84885742864
- Systematic development of software process models
- 2nd edn, Lecture Notes in Computer Science, Springer-Verlag, New York
- (1989) Proc. 2nd European Soft. Eng. Conf. , vol.387 , pp. 101-117
- Deiters¹ Gruhn² Schafer³

13
- 0003843704
- Prentice-Hall
- (1985) Communicating sequential processes
- Hoare¹

14
- 0003954103
- Prentice-Hall
- (1989) Communication and Concurrency
- Milner¹

15
- 0004028680
- John Wiley
- (1984) Systems: Concepts, methodologies and applications
- Wilson¹

16
- 8444219591
- Taylor & Francis
- (1989) Knowledge-based systems in manufacturing
- Kusiak¹

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