From semantic web to expressive software specifications: a modeling languages spectrum
暂无分享,去创建一个
[1] Mark Saaltink,et al. The Z/EVES System , 1997, ZUM.
[2] Daniel Jackson,et al. Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[3] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .
[4] Jin Song Dong,et al. Formal Designs for Embedded and Hybrid Systems , 2005, Int. J. Softw. Eng. Knowl. Eng..
[5] Wang Yi,et al. Timed Patterns: TCOZ to Timed Automata , 2004, ICFEM.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[8] Jin Song Dong,et al. Timed Communicating Object Z , 2000, IEEE Trans. Software Eng..
[9] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[10] Jin Song Dong,et al. Verifying DAML+OIL and beyond in Z/EVES , 2004, Proceedings. 26th International Conference on Software Engineering.
[11] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[12] Roger Duke,et al. Formal Object Oriented Specification Using Object-Z , 2000 .
[13] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[14] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[15] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[16] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[17] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[18] Jin Song Dong,et al. Reasoning Support for SWRL-FOL Using Alloy , 2005, SEKE.
[19] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[20] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[21] David Harel,et al. On visual formalisms , 1988, CACM.
[22] Daniel Jackson,et al. Micromodels of software: lightweight modelling and analysis with Alloy , 2002 .
[23] Jim Woodcock,et al. The Semantics of Circus , 2002, ZB.
[24] Jin Song Dong,et al. Checking and Reasoning about Semantic Web through Alloy , 2003, FME.