Automated software engineering using concurrent class machines

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 297-304

  Grosu, Radu ^a   Liu, Yanhong A ^a   Smolka, Scott ^a   Stoller, Scott D ^a   Yan, Jingyu ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; DATA FLOW ANALYSIS; MODULAR CONSTRUCTION; MULTITASKING; REUSABILITY; SEMANTICS; SOFTWARE ENGINEERING;

EVENT-BASED; EXECUTABLES; METHOD INVOCATION; MULTI-THREADING; OBJECT CREATION; OBJECT ORIENTED; OBJECT-ORIENTED CONCEPTS; PRECISE DEFINITION; STATE MACHINE MODELS; UML ACTIVITY DIAGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 77954482203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989816     Document Type: Conference Paper

References (19)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, NY, 1996.
2. R. Alur, K. Etessami, and M. Yannakakis. Analysis of recursive state machines. In Proc. of CAV'01, Conference on Computer Aided Verification. Springer Verlag, 2001.
3. R. Alur and R. Grosu. Modular refinement of hierarchic reactive machines. In Proc. of POPL'00, the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 390-402. ACM Press, 2000.
4. R. Alur, R. Grosu, and M. McDougall. Efficient reachability analysis of hierarchical reactive machines. In E. Emerson and A. Sistla, editors, Proc. of CAV'00, the 12th International Conference on Computer Aided Verification, pages 280-296. Springer, LNCS 1855,2000.
5. T. Ball and S. Rajamani. Bebop: A symbolic model checker for boolean programs. In Proceedings of 7th International SPIN Workshop on Model Checking of Software (SPIN 2000), Aug. 2000.
6. J. Bogda and U. Holzle. Removing unnecessary synchronization in Java. In ACM Conference on Object-Oriented Systems, Languages and Applications, pages 35-46. ACM, New York, Oct. 1999.
7. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
8. J. C. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
9. R. Grosu and K. Stølen. Stream based specification of mobile systems. To appear in Formal Aspects of Computing, Springer Verlag, 2001.
10. D. Harel and E. Gery. Executable object modelling with statecharts. IEEE Computer, 30(7):31-42,1997.
11. C. Heitmeyer, J. Kirby, and B. Labaw. Tools for formal specification, verification, and validation of requirements. In Proceedings of 12th Annual Conferenceon Computer Assurance, June 1997.
12. Y. A. Liu. Efficiency by incrementalization: An introduction. Higher-Order and Symbolic Computation, 13(4):289-313, Dec. 2000.
13. Y. A. Liu and S. D. Stoller. Loop optimization for aggregate array computations. In Proceedings of the IEEE 1998 International Conference on Computer Languages, pages 262-271. IEEE CS Press, Los Alamitos, Calif., May 1998.
14. R. Milner. The polyadic pi-calculus: a tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1993.
15. A. Mitschele-Thiel. Systems Engineering with SDL. J.W. Wiley, 2001.
16. R. Paige and S. Koenig. Finite differencing of computable expressions. ACM Trans. Program. Lang. Syst., 4(3):402-454, July 1982.
17. R. Sethi. A note on implementing parallel assignment instructions. Information Processing Letter, 2:91-95, 1973.
18. S. Webster. An annotated bibliography for object-oriented analysis and design. Information and Software Technology, 36(9):569-582,1994.
19. D. M. Yellin and R. E. Strom. INC: A language for incremental computations. ACM Trans. Program. Lang. Syst., 13(2):211-236, Apr. 1991.