Main Menu
| Behavior Engineering |
| Who we are |
| Notations |
| Case Studies |
| Tools |
| Publications |
| Our Partners |
| Contacts |
Behavior Engineering
| Behavior Modeling Language |
| Behavior Trees |
| Composition Trees |
| History of Behavior Engineering |
For Industry
| Business Case |
| Industry Trials |
| Demonstrations |
| Publications |
|
Overview OverviewDromey, R.G. 2008. Engineering Large-Scale Systems - Mitigating the Pivotal Risks Dromey, R.G. 2008. Taming Complexity In Large-Scale Systems Dromey, R.G. 2007. Principles for Engineering Large-Scale Software-Intensive Systems Slide Presentation Dromey, R.G. 2006. Formalizing the Transition from Requirements to Design Dromey, R.G. 2003. From Requirements to Design: Formalizing the Key Steps Wen, L., Dromey, R.G. 2007. From Requirements Change to Design Change: A Formal Path
Conferences2001 2002 2003 Dromey, R.G. From Requirements to Design: Formalizing the Key Steps, (Invited Keynote Address), SEFM-2003, IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Sept. 2003, pp. 2-11. Slide Presentation Dromey, R.G. Managing Complexity in the Design and Analysis of Large Systems, (Invited Presentation), SETE 2003, Systems Engineering/Test and Evaluation Conference, Canberra, Sept., 2003. Dromey, R.G. Using Behaviour Trees to Design Large Systems by Requirements Integration, 2004 Lin, K. Chen, D., Sun, C., Dromey, R.G. Tree Structure Maintenance in a Collaborative Genetic Software Engineering System, in Proceedings of the Sixth International Workshop on Collaborative Editing Systems, November, 2004 Smith, C., Winter, K., Hayes, I., Dromey, R.G., Lindsay, P., Carrington, D.: An Environment for Building a System Out of Its Requirements, 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, Sept. (2004). Wen, L., Dromey, R.G: From Requirements Change to Design Change: A Formal Path, SEFM 2004, IEEE International Conference on Software Engineering and Formal Methods, Eds., J.R. Cuellar, Z. Liu, Beijing, September, (2004), pp. 104-113. - ( Selected as one of Best Papers) Winter, K., "Formalising behaviour trees with CSP", Proc. of 4th International Conference on Integrated Formal Methods (IFM 2004), Eds., E. Boiten, J. Derrick, G. Smith, April 2004; Lecture Notes in Computer Science, Vol. 2999, 148-167. 2005 Dromey, R. G., (2005), System Composition: Constructive Support for the Analysis and Design of Large Systems, SETE-2005, Systems Engineering/Test and Evaluation Conference , Brisbane, Australia. Gonzalez-Perez, C.A., Henderson-Sellers, B., Dromey, R.G: A Metamodel for the Behavior Trees Modelling Technique, ICITA 2005, 3rd International Conference on Information Technology and Applications, Sydney, July 4-7, 2005. Grunske, L., Lindsay, P., Yatapanage, N., Winter, K., "An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees", Proceedings of International Conference on Integrated Formal Methods (IFM 2005), Edited by Atkinson, C., Bunse, C., Gross, H., Peper, C., 2005; Lecture Notes in Computer Science, Vol. 3771, 129-149. Lin, K., Chen, D., Sun, C., Dromey, R.G., Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach, 9th European Conference on Computer-Supported Cooperative Work (ECSCW'05), 2005. Lin, K., Chen, D., Sun, C., Dromey, R.G., A Constraint Maintenance Strategy and Applications in real-time Collaborative Environments, 2nd International Conference on Cooperative Design, Visualization and Engineering (CDVE2005), 2005. Lin, K., Chen, D., Dromey, R.G., Sun, C., Maintaining Multi-way Constraints in Collaborative Systems, 1st International Conference on Collaborative Computing: Networking, Applications and Work-sharing (CollaborateCom 2005), 2005. Wen, L., Dromey, G, "Architecture Normalization for Component-Based Systems", Proceedings of the 2nd International Workshop on Formal Aspects of Component Software FACS'05, pp247-261. Slide Presentation Zafar, S. and Dromey, R. G., (2005), Integrating Safety and Security Requirements into Design of an Embedded System. Asia-Pacific Software Engineering Conference 2005, 15th-17th December, Taipei, Taiwan. IEEE Computer Society Press. pp629-636. Slide Presentation Zafar, S. and Dromey, R. G., (2005), Managing Complexity in Modelling Embedded Systems. Systems Engineering/Test and Evaluation Conference 2005, 7th-9th November, Brisbane, Australia. Slide Presentation 2006 Dromey, R.G. "Guiding Principles for Engineering Quality Software", Invited Keynote Addrress, 2nd Malaysian Software Engineering Conference, MySEC'06, Kuala Lumpur, Malaysia, Dec. 2006. Lin, K., Chen, D., Dromey, R.G., Sun, CZ.: Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems, IEEE, The 2nd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006), Atlanta, Georgia, USA, Nov, 2006. Sithirasenan,E., Zafar,S., and Muthukkumarasamy, V. "Formal Verification of the IEEE 802.11i WLAN Security Protocol," presented at Australian Software Engineering Conference (ASWEC '06), Sydney, Australia, 2006. Zafar,S., K.Winter, R.Colvin, R.G.Dromey, "Verification of an Integrated Role-Based Access Control Model", 1st International Workshop - Asian Working Conference on Verified Software (AWCVS'06), pp 230-240, Macao, Oct. 2006. 2007 Colvin, R., Hayes, I.J. A Semantics for Behavior Trees. February, 2007. Grunske, L., Winter, K., Colvin, R., "Timed Behavior Trees and their application to verifying real-time systems", Proceedings of 18th Australian Conference on Software Engineering (AEWEC 2007), April 2007, accepted for publication. 2008 Phillips, V., (Raytheon Australia), "Implementing a Behavior Tree Analysis Tool Using Eclipse Development Frameworks" , Australian Software Engineering Conference (ASWEC’08), Perth, March 2008. Boston, J., (Raytheon Australia), Behavior Trees - How they improve Engineering Behaviour? , 6th Annual Software and Systems Engineering Process Group Conference (SEPG 2008), Melbourne, Aug. 2008. Journal Articles2004 2005 Dromey, R.G. "Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity", in S.Leue, and T.J. Systra, Scenarios, Lecture Notes in Computer Science, LNCS 3466, pp. 95 - 108, 2005. 2006 Wen, L., Dromey, R.G., "Architecture Normalization for Component-based Systems", in Electronic Notes in Theoretical Computer Science, vol.160, pp. 335-348. 2008 Colvin, R., Grunske, L. and Winter. K., "Timed Behavior Trees for Failure Mode and Effects Analysis of Grunske, L., Winter, K., Yatapanage, N., Defining the abstract syntax of visual languages with advance graph grammars - A case study based on behavior trees, in Journal of Visual Languages and Computing, Book ChaptersDromey, R.G. How to Solve it by Computer, Eastern Economy Edition, Prentice-Hall India, New Delhi, 2004. (Original Prentice-Hall International Edition, London, 1982) Dromey, R.G. "Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity", in S.Leue, and T.J. Systra, Scenarios, Lecture Notes in Computer Science, LNCS 3466, pp. 95 – 108, 2005. Dromey, R. G. "Formalizing the Transition from Requirements to Design", in "Mathematical Frameworks for Component Software - Models for Analysis and Synthesis", Jifeng He, and Zhiming Liu (Eds.), World Scientific Series on Component-Based Development, pp. 156-187, (Invited Chapter) (2006) Dromey, R.G. "Making Real Progress With the Requirements Defect Problem", in Duggan, E., Reichgelt, H. (Eds) Measuring Quality Requirements in Information Systems, Ideas Group Inc., pp. 87-108 (2006). (Invited Chapter). SeminarsDromey, R.G. Using Behaviour Trees to Design Large Systems by Requirements Integration, Dagstuhl Invited Seminar 03371: Scenarios, Models, Algorithms and Tools, Wadern, Germany, September, 2003. |