From requirements to design: formalizing the key steps, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings., pp.2-13, 2003. ,
DOI : 10.1109/SEFM.2003.1236202
Genetic design: Amplifying our ability to deal with requirements complexity In: Models, Transformations and Tools, LNCS, vol.3466, pp.95-108, 2005. ,
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees, Proc. of Int Conf. on Integrated Formal Methods, pp.129-149, 2005. ,
DOI : 10.1007/11589976_9
Defining the abstract syntax of visual languages with advanced graph grammars???A case study based on behavior trees, Journal of Visual Languages & Computing, vol.19, issue.3, pp.343-379, 2008. ,
DOI : 10.1016/j.jvlc.2007.11.003
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems, Journal of Systems and Software, vol.81, issue.12, pp.2163-2182, 2008. ,
DOI : 10.1016/j.jss.2008.04.035
Principles of Model Checking, 2008. ,
Program Slicing, Proc. of Int. Conf. on Software Engineering (ICSE'81, pp.439-449, 1981. ,
DOI : 10.1109/TSE.1984.5010248
A survey of program slicing techniques, Journal of Programming Languages, vol.3, issue.3, pp.121-189, 1995. ,
A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, vol.30, issue.2, pp.1-36, 2005. ,
DOI : 10.1145/1050849.1050865
Specification slicing in formal methods of software development, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93, pp.313-319, 2005. ,
DOI : 10.1109/CMPSAC.1993.404234
Slicing Z specifications, ACM SIGPLAN Notices, vol.39, issue.8, pp.39-48, 2004. ,
DOI : 10.1145/1026474.1026481
Reduction and slicing of heirarchical state machines, Proc. of European Software Engineering Conference ,
Slicing of state-based models, Proc. of Int. Conf. on Software Maintenance, pp.34-43, 2003. ,
Slicing software for model construction, Higher-Order and Symbolic Computation, pp.315-353, 2000. ,
Temporal and Modal Logic, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50021-4
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation, Proc. of Int. SPIN Workshop, 1998. ,
DOI : 10.1007/s100090050041
Slicing SAL, 1999. ,
Slicing for uppaal, 2008 Annual IEEE Student Paper Conference, pp.1-5, 2008. ,
DOI : 10.1109/AISPC.2008.4460546
The MEB and CEB Static Analysis for CSP Specifications, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'08). Number 5438, pp.103-118, 2008. ,
DOI : 10.1109/TSE.1984.5010248
Slicing an Integrated Formal Method for Verification, LNCS, vol.3785, pp.360-374, 2005. ,
DOI : 10.1007/11576280_25
From requirements change to design change: A formal path, Proc. of Int. Conf. on Software Engineering and Formal Methods, pp.104-113, 2004. ,
Early Validation and Verification of a Distributed Role-Based Access Control Model, 14th Asia-Pacific Software Engineering Conference (APSEC'07), pp.430-437, 2007. ,
DOI : 10.1109/ASPEC.2007.20
Behavior Engineering ,
A semantics for Behavior Trees, p.204809, 2010. ,
CSP with Hierarchical State, Proc. of Int. Conf. on Integrated Formal Methods, pp.118-135, 2009. ,
DOI : 10.1007/3-540-45648-1_10
The program dependence graph in a software development environment, ACM SIGSOFT Software Engineering Notes, vol.9, issue.3, pp.177-184, 1984. ,
DOI : 10.1145/390010.808263
The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987. ,
DOI : 10.1145/24039.24041
A new foundation for control dependence and slicing for modern program structures, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, p.27, 2007. ,
DOI : 10.1145/1275497.1275502
Static slicing of threaded programs, ACM SIGPLAN Notices, vol.33, issue.7, pp.35-42, 1998. ,
DOI : 10.1145/277633.277638
A case study in access control requirements for a health information system, Proc. of Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalisation, pp.53-61, 2004. ,