ECharts: Balancing design and implementation

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 149-155

  Bond, Gregory W ^a   Goguen, Healfdene ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

Programming languages; Real time systems; ROOMcharts; Software design; UML Statecharts

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE DESIGN;

DESIGN AND IMPLEMENTATIONS; LANGUAGE FEATURES; ROOMCHARTS; SUPPORTING DESIGN; TELECOM SERVICES; UML STATECHARTS;

SOFTWARE ENGINEERING;

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

References (12)

1. th International Conference on Computer-Aided Verification (CAV), number 2102 in Lecture Notes in Computer Science, pages 207-220. Springer-Verlag, 2001.
2. th International Conference on Computer-aided Verification (CAV), number 1427 in Lecture Notes in Computer Science, pages 521-525. Springer-Verlag, 1998.
3. Greg Bond, Eric Chueng, Andrew Forrest, Michael Jackson, Hal Purdy, Chris Ramming, and Pamela Zave. DFC as the basis for ECLIPSE: an IP communications platform. In Proceedings of the IP Telecom Services Workshop (IPTS), pages 19-26, September 2000.
4. Gregory W. Bond, Healfdene Goguen, and Thomas Wahl. ECharts transition priority semantics. Technical report, AT&T Labs-Research, 2002.
5. Gregory W. Bond, Franjo Ivančić, Nils Klarlund, and Richard Trefler. ECLIPSE feature logic analysis. In Proceedings of the Workshop on IP Telephony (IPTel), 2001.
6. Object Management Group. OMG Unified Modeling Language Specification, version 1.4. Object Management Group, September 2001.
7. David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231-274, July 1987.
8. Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
9. Eleftherios Koutsofios and Stephen C. North. Drawing graphs with dot. AT&T Labs - Research, 2001.
10. Johan Lilius and Iván Porres Paltor. The semantics of UML state machines. Technical Report 273, Turku Center for Computer Science, 1999.
11. Johan Lilius and Iván Porres Paltor. UML: a tool for verifying UML models. Technical Report 272, Turku Center for Computer Science, 1999.
12. Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. Wiley, 1994.