SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 35, Issue 10, 2000, Pages 93-104

A real world object modeling method for creating simulation environment of real-time systems

(3) Lee, J Y a Kim, H J a Kang, K C a

a Pohang University of Science and Technology (POSTECH) (South Korea)

Author keywords

Real time control software; Requirement specification; Simulation; Validation; Verification

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DIGITAL LIBRARIES; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; ROBOTICS;

FORM SPECIFICATION LANGUAGES (FSL); REAL WORLD OBJECT MODELING; REAL-TIME CONTROL SOFTWARE;

REAL TIME SYSTEMS;

EID: 0034450127 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/354222.353178 Document Type: Conference Paper

Times cited : (3)

References (32)

1
- 0020872713
- Operational specification as the basis for specification validation
- North-Holland Publishing Company
- (1983) Theory and Practice of Software Technology , pp. 21-49
- Balzer, R.M.¹ Cohen, D.² Feather, M.S.³ Goldman, N.M.⁴ Swartout, W.⁵ Wile, D.S.⁶

2
- 0021122553
- Software errors and complexity: An empirical investigation
- January
- (1984) Communications of the ACM , vol.21 , pp. 42-52
- Basili, V.¹ Perricone, B.²

3
- 0021155552
- Software engineering economics
- January
- (1984) IEEE Transactions on Software Engineering , vol.10 , pp. 4-21
- Boehm, B.W.¹

4
- 0005063808
- Software Engineering Notes, ACM SIGSOFT, January
- (1988) ESML: An Extended Systems Modeling Language Based on the Data Flow Diagram , vol.13 , Issue.1
- Bruyn, W.¹ Jensen, R.² Keskar, D.³ Ward, P.⁴

5
- 0001325987
- Ptolemy: A framework for simulating and prototyping heterogeneous systems
- April
- (1994) International Journal of Computer Simulation , pp. 155-182
- Buck, J.¹ Ha, S.² Lee, E.A.³ Messerschmitt, D.G.⁴

6
- 0005097020
- Software Engineering Notes, ACM SIGSOFT, March
- (1998) Improving Efficiency of Symbolic Model Checking for State-Based System Requirements , vol.23 , Issue.2 , pp. 124-175
- Chan, W.¹ Anderson, R.J.² Beame, P.³ Notkin, D.⁴

7
- 84981282575
- Verification Tools for Finite-State Concurrent Systems
- Springer-Verlag
- (1994) Lecture Notes in Computer Science , vol.803 , pp. 124-175
- Clarke, E.¹ Grumberg, O.² Long, D.³

8
- 0005003945
- SCHEMASIM: A simulation environment for real-time systems
- Spring
- (1994) Simulation Digest
- Coomber, C.J.¹

9
- 0003832573
- New York, Yourdon Press
- (1978) Structured Analysis and System Specification
- DeMarco, T.¹

10
- 0028479546
- Executable specifications and CASE
- July
- (1994) Software Engineering Journal , pp. 174-182
- Gaskell, C.¹ Phillips, R.²

11
- 0024016415
- On visual formalisms
- May
- (1988) Communications of the ACM , vol.31 , Issue.5 , pp. 514-530
- Harel, D.¹

12
- 0025416878
- STATEMATE: A working environment for the development of complex reactive systems
- April
- (1990) IEEE Transactions on Software Engineering , vol.16 , Issue.4 , pp. 403-414
- Harel, D.¹ Lachover, H.² Naamad, A.³ Pnueli, A.⁴ Politi, M.⁵ Sherman, R.⁶ Shtull-Trauring, A.⁷ Trakhtenbrot, M.⁸

13
- 0029522053
- Executable object modeling with statecharts
- Berlin, Germany, March 25-29
- (1996) Proceedings of 18th International Conference on Software Engineering , pp. 246-257
- Harel, D.¹ Politi, M.²

14
- 0029190662
- PARTS: A temporal logic-based real-time software specification and verification method
- Seattle, U.S.A., (April 23-30)
- (1995) Proceedings of the 17th International Conference on Software Engineering , pp. 169-176
- Kang, K.C.¹ Ko, G.I.²

15
- 0031996185
- Refinement and validation of software requirements using incremental simulation
- February
- (1998) IEICE (The Institute of Electronics, Information and Communication Engineering) Transactions on Information and Systems , vol.E81-D , Issue.2 , pp. 171-182
- Kang, K.C.¹ Lee, K.W.² Lee, J.Y.³ Kim, G.J.⁴ Kim, H.J.⁵

16
- 0032048808
- ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications
- April
- (1998) Software: Practice and Experience , vol.28 , Issue.4 , pp. 445-462
- Kang, K.C.¹ Lee, K.W.² Lee, J.Y.³ Kim, G.J.⁴

17
- 22044447056
- Integrated design and simulation of hybrid systems
- Lecture Notes in Computer Science, Springer-Verlag, Berlin
- (1998) Hybrid Systems: Computation and Control , vol.1386 , pp. 221-236
- Lehrenfeld, G.¹ Naumann, R.² Rasche, R.³ Rust, C.⁴ Tacken, J.⁵

18
- 0005008863
- Ph.D. thesis, Pohang University of Science and Technology, Written in Korean
- (2000) A Spatial Dimension Specification Method for Creation of Real-Time System Testbeds
- Lee, J.Y.¹

19
- 0003445361
- Addison-Wesley Publishing Company, Inc., USA
- (1995) Safeware: System Safety and Computers
- Leveson, N.G.¹

20
- 0004162205
- Ph.D. Thesis, Carnegie Mellon University
- (1993) Model Checking, Abstraction, and Compositional Reasoning
- Long, D.¹

21
- 0005042809
- Alice: Easy to Learn Interactive 3D Graphics
- Pausch, R.¹

22
- 0004009033
- McGrawHill, New York
- (1995) Introduction to Simulation Using SIMAN, 2nd Ed.
- Pegden, C.D.¹ Shannon, R.E.² Sadowski, R.P.³

23
- 0004195446
- John Wiley & Sons, Inc., New York
- (1995) Introduction to Simulation & SLAM II
- Pritsker, A.¹

24
- 0003547470
- Addison Wesley Longman, Inc., USA
- (1999) The Unified Modeling Language Reference Manual
- Rumbaugh, J.¹ Jacobson, I.² Booch, G.³

25
- 21344461852
- Validation of hybrid systems by co-simulation
- Lecture Notes in Computer Science, Springer-Verlag, Berlin
- (1996) Hybrid Systems III , vol.1066 , pp. 315-326
- Sinclair, D.¹ Holz, E.² Witaszek, D.³ Wasowski, M.⁴

26
- 0026887588
- An object-oriented 3D graphics toolkit
- (1992) Proceedings of the ACM Computer Graphics Conference (SIGGRAPH '92) , pp. 341-349
- Strauss, P.¹ Carey, R.²

27
- 0020125279
- An operational approach to requirements specification for embedded systems
- (1982) IEEE Transactions on Software Engineering , vol.8 , Issue.3 , pp. 250-269
- Zave, P.¹

28
- 0024480405
- DEVS representation of dynamical systems: Event based intelligent control
- (1989) Proceedings of the IEEE , vol.77 , Issue.1 , pp. 72-80
- Zeigler, B.P.¹

29
- 0000682278
- DEVS framework for modeling, simulation, analysis, and design of hybrid systems
- Lecture Notes in Computer Science, Springer-Verlag, Berlin
- (1995) Hybrid Systems II , vol.999 , pp. 529-551
- Zeigler, B.P.¹ Song, H.S.² Kim, T.G.³ Praehofer, H.⁴

30
- 0005097021
- (1994) Building Simulation Models with SIMSCRIPT II.5

31
- 0005026854
- Silicon Graphics, Inc.
- (1999) IRIS Performer Programming Guide

32
- 0005013339
- Paradigm Simulation, Inc.
- (1996) Vega User's Manual

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