SCOPUS 정보 검색 플랫폼

Volumn 16, Issue 1, 1991, Pages 39-63

PROTOB: An object oriented methodology for developing discrete event dynamic systems

(2) Baldassari, Marco a Bruno, Giorgio a

Author keywords

Automatic code generation; Dataflows; Distributed systems; Executable specification; Object oriented design; Object oriented specification; Operational software life cycle; Petri nets; PROT nets; Rapid prototyping; Structured analysis

Indexed keywords

COMPUTER SOFTWARE--SOFTWARE ENGINEERING; INDUSTRIAL PLANTS--FLEXIBLE MANUFACTURING SYSTEMS;

AUTOMATIC CODE GENERATION; CASE ENVIRONMENT; DISCRETE EVENT DYNAMIC SYSTEMS; PROT NETS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0026002307 PISSN: 00960551 EISSN: None Source Type: Journal
DOI: 10.1016/0096-0551(91)90016-3 Document Type: Article

Times cited : (32)

References (30)

1
- 0007674854
- An environment for object-oriented conceptual programming based on PROT nets
- 7th edn, Lecture Notes in Computer Science No. 340, Springer, Berlin
- (1988) Advances in Petri Nets , pp. 1-19
- Baldassari¹ Bruno²

2
- 0022670962
- Process-translatable Petri nets for the rapid prototyping of process control systems
- (1986) IEEE Trans. Software Engng , vol.12 SE , pp. 356-357
- Bruno¹ Marchetto²

3
- 0024774913
- A Petri net simulation model of HDLC
- Bombay
- (1989) TENCON 89
- Ajmone¹ Barbetta² Neri³

4
- 84910838957
- Operational software engineering with PROTOB
- London
- (1989) CASE 89
- Baldassari¹ Bruno²

5
- 0342727893
- PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems
- Coventry
- (1989) European Software Engineering Conference 1989
- Baldassari¹ Bruno² Russi³ Zompi⁴

6
- 0021371582
- The operational versus the conventional approach to software development
- (1984) Commun. ACM , vol.27 , pp. 104-118
- Zave¹

7
- 0022670294
- Object oriented development
- (1986) IEEE Transactions on Software Engineering , vol.12 SE , pp. 211-221
- Booch¹

8
- 84910828448
- The large-scale structure of software-intensive systems.
- Software Engineering with Ada, New York: Benjamin Cummings.
- Booch, G. Software Engineering with Ada. New York: Benjamin Cummings.
- Interface Focus
- Booch¹

9
- 0347362406
- 7th edn, ESA, Noordwijk, The Netherlands, Issue 3.0
- (1989) HOOD Reference Manual

10
- 5244266300
- 7th edn, ESA, Noordwijk, The Netherlands, Issue 3.0
- (1989) HOOD User Manual

11
- 84910822973
- Special issue on visual programming
- (1985) IEEE Computer

12
- 0020846010
- Software technology in the 1990's: Using a new paradigm
- (1983) Computer , vol.16 , pp. 39-45
- Balzer¹ Cheatham² Green³

13
- 0003832575
- Prentice-Hall, Englewood Cliffs, NJ
- (1979) Structured Analysis and System Specification
- Marco¹

14
- 0004060695
- 7th edn, Yourdon Press
- (1985) Structured Development of Real-Time Systems , vol.1-30
- Ward¹ Mellor²

15
- 0004137799
- Dorset House
- (1987) Strategies for Real-Time System Specification
- Hatley¹ Pirbhai²

16
- 2342530897
- Petri nets for software engineering
- Springer, Berlin
- (1986) Petri Nets: Applications and Relations to Other Models of Concurrency , pp. 63-96
- Reisig¹

17
- 0020125279
- An operational approach to requirement specification for embedded systems
- (1982) IEEE Transactions on Software Engineering , vol.8 SE , pp. 250-269
- Zave¹

18
- 0022105551
- Analysis and design in MSG84 Formalizing functional specifications
- (1985) IEEE Transactions on Software Engineering , vol.11 SE , pp. 657-670
- Berzins¹ Gray²

19
- 84910824693
- Special issue on CASE
- (1988) IEEE Software

20
- 0000098171
- Coloured Petri nets and the invariant-method
- (1981) Theoret. Comput. Sci. , vol.14 , pp. 317-336
- Jensen¹

21
- 0000678601
- System modelling with high level Petri nets
- (1981) Theoret. Comput. Sci. , vol.13 , pp. 109-136
- Genrich¹ Lautenbach²

22
- 9944223295
- Protocol analysis using numerical Petri nets
- Springer, Berlin
- (1986) Advances in Petri nets 1985 , pp. 435-452
- Wheeler¹ Wilbur-Ham² Billington³ Gilmour⁴

23
- 0003126559
- On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages
- Oxford
- (1986) Proc. Application and Theory of Petri Nets , pp. 207-241
- Colom¹ Silva² Villarroel³

24
- 0020821954
- Casting Petri nets into programs
- (1983) IEEE Transactions on Software Engineering , vol.9 SE , pp. 590-602
- Nelson¹ Haibt² Sheridan³

25
- 84976655493
- Petri net-based object-oriented modelling of distributed systems
- Portland, Oregon
- (1986) ACM Conf. on Object-Oriented Programming , pp. 284-293
- Bruno¹ Balsamo²

26
- 85031935386
- Extending the entity-relationship approach for dinamic modelling purposes
- Dijon, France
- (1986) Biofabrication , pp. 327-339
- Bruno¹ Elia²

27
- 84910817388
- Operational specification of process control systems: execution of PROT nets using OPS5
- Dublin
- (1986) 10th World IFIP Congress , pp. 35-40
- Bruno¹ Elia²

28
- 0003899460
- Addison-Wesley, Reading, MA
- (1985) Programming Expert Systems in OPS5
- Brownston¹ Furrell² Kant³

29
- 73249153708
- Control of flexible production systems and Petri nets
- Springer, Berlin
- (1983) Informatik-Fachberichte 66: Application and Theory of Petri Nets , pp. 264-277
- Valette¹ Courvoisier² Mayeux³

30
- 0023214085
- Modelling, validation and software implementation of production systems using high level Petri nets
- Raleigh, NC
- (1987) IEEE Int. Conf. on Robotics and Automation , pp. 1180-1185
- Martinez¹ Muro² Silva³

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