All Outputs (5)

A Relational Model for Object-Oriented Designs (2004)
Conference Proceeding
He, J., Liu, Z., Li, X., Qin, S., & Chin, W. (2004). A Relational Model for Object-Oriented Designs. In Programming languages and systems : Second Asian Symposium, APLAS 2004, 4-6 November 2004, Taipei, Taiwan ; proceedings (415-436). https://doi.org/10.1007/978-3-540-30477-7_28

This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic b... Read More about A Relational Model for Object-Oriented Designs.

An Automatic Mapping from Statecharts to Verilog (2004)
Conference Proceeding
Viet-Anh, T., Qin, S., Chin, W., Liu, Z., & Araki, K. (2004). An Automatic Mapping from Statecharts to Verilog. In Theoretical computing : 1st International Colloquium, ICTAC 2004, 20-24 September 2004, Guiyang, China ; revised selected papers (187-203). https://doi.org/10.1007/978-3-540-31862-0_15

Statecharts is a visual formalism suitable for high-level system specification, while Verilog is a hardware description language that can be used for both behavioural and structural specification of (hardware) systems. This paper implements a semanti... Read More about An Automatic Mapping from Statecharts to Verilog.

Region inference for an object-oriented language (2004)
Conference Proceeding
Chin, W., Craciun, F., Qin, S., & Rinard, M. (2004). Region inference for an object-oriented language. In Proceedings of the ACM SIGPLAN 2004 conference on Programming Language Design and Implementation (PLDI), Washington DC, June 9-11, 2004 (243-254). https://doi.org/10.1145/996893.996871

Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient use of limited memory. Researchers have advocated the use of regions for f... Read More about Region inference for an object-oriented language.

Generating MSCs from an Integrated Formal Specification Language (2004)
Conference Proceeding
Dong, J., Qin, S., Sun, J., Boiten, E., Derrick, J., & Smith, G. (2004). Generating MSCs from an Integrated Formal Specification Language. In Integrated Formal Methods : 4th International Conference, IFM 2004, 4-7 April 4 2004, Canterbury, UK : proceedings (168-186). https://doi.org/10.1007/b96106

The requirements capture of complex systems requires powerful mechanisms for specifying system state, structure and interactive behaviors. Integrated formal specification languages are well suited for presenting more complete and coherent requirement... Read More about Generating MSCs from an Integrated Formal Specification Language.

Timed Patterns: TCOZ to Timed Automata (2004)
Conference Proceeding
Dong, J., Hao, P., Qin, S., Sun, J., Wang, Y., Davies, J., …Barnett, M. (2004). Timed Patterns: TCOZ to Timed Automata. In Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, 8-12 November 2004, Seattle, WA, USA. ; proceedings (483-498). https://doi.org/10.1007/978-3-540-30482-1_39

The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool... Read More about Timed Patterns: TCOZ to Timed Automata.