Supplementing a UML development process with B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2391, Issue , 2002, Pages 568-586

  Treharne, Helen ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

B method; Stereotyping; UML class diagrams

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

B METHOD; DEVELOPMENT PROCESS; LIBRARY SYSTEMS; STEREOTYPING; UML CLASS DIAGRAMS;

FORMAL METHODS;

EID: 18144374504     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45614-7_32     Document Type: Conference Paper

References (22)

1. Ambler S. The Object Primer 2nd Edition, New York CUP 2001.
2. Abrial J. R.: The B Book: Assigning Programs to Meaning, CUP, 1996.
3. Cooper J. W.: Java Design Patterns: A tutorial, Addison-Wesley, 2000.
4. Facon P., Laleau R. and Nguyen H. P.: Derivation de specification formelles B partir de specification semi-formelles de systems d’information. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996.
5. Laleau R., Polack F.: Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language. Information and Software Technology, 43(12), pp 693-704, November 2001.
6. Laleau R., Polack F.: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development, In Bert D., Bowen J. P., Henson M. C. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 517-534, Springer-Verlag, 2002.
7. Lano K. C.: Specification in B: An Introduction Using the B Toolkit, IC Press, 1996.
8. Lano K., Bicarregui J. and Evans A.: Structured Axiomatic Semantics for UML Models, ROOM 2000 Workshop, Springer-Verlag, EWICS, 2000.
9. Lano K.: Limitations of B Structuring, unpublished, November, 2001.
10. Liu J., Dong J. S, Mahony B. and Shi K: Linking UML with Integrated Formal Techniques, chapter in book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K. Siau and T. Halpin), 2001.
11. Neilson D., Sorensen I. H.: The B-Technologies: a system for computer aided programming, B-Core (UK) Limited, Kings Piece, Harwell, Oxon, OX11 0PA, 1999, http://www.b-core.com
12. Rosenburg D., Scott K.: Use Case Driven Object Modelling with UML: A Practical Approach, Addison-Wesley, 1999.
13. Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
14. Rumbaugh J., Jacobson I. and Booch G.: The Unified Modeling Language User Guide, Addison-Wesley, 1999.
15. Satpathy M., Snook C., Harrison R., Butler M., Krause P.: A Comparative Study of Formal and Informal Specification through an Industrial Case Study. In Dumke, Abran (eds.) Proc IEEE/IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS’01), 2001.
16. Schneider S.: The B-Method: An Introduction, Palgrave, 2001.
17. Schneider S., Treharne H.: Object-Oriented Modelling Lecture Notes, Computer Science Department, Royal Holloway, University of London, 2001, http://www.cs.rhul.ac.uk/ug/second_year/CS225/info.html.
18. Schneider S., Treharne H.: Combining B Machines, In Bert D., Bowen J. P., Henson M. C. and Robinson K. (eds.) ZB2002, LNCS 2272, pp 416-435, Springer-Verlag, 2002.
19. Shore R.: An object-oriented approach to B. In Habrias H. (ed), Proceedings of the 1st Conference on the B Method, France, 1996.
20. Snook C., Butler M. J.: Tool-Supported Use of UML for Constructing B Specifications, http://www.ecs.soton.ac.uk/˜mjb/.
21. Tatibouet B., Voisinet J. C.: jbTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B spec ification, http://lifc.univ-fcomte.fr/˜tatibouet/JBTOOLS/index.html.
22. Treharne H., Schneider S.: Using a Process Algebra to control B OPERATIONS. In K. Araki, A. Galloway and K. Taguchi (eds.), IFM’99, York, Springer, 1999.