Supporting Co-use of VDM and B by Translation (2007)
Juan Bicarregui, Matthew Bishop, Theodosis Dimitrakos, Kevin Lano, Tom Maibaum, Brian Matthews, ...
Abstract. VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools...
The First Two, Keywords Etc, Andy Evans, Andy Evans, Robert France, Kevin Lano, ...
The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a...
The FACS FACTS Team Newsletter Editor Paul Boca (2006)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Cliff Jones, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Contributors to this Issue (2005)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
The FACS FACTS Team Newsletter Editor Paul Boca (2005)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
The FACS FACTS Team Newsletter Editor Paul Boca [ (2004)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Meta-Modelling Semantics of UML (1999)
Andy Evans, Robert France, Andy Evans, Kevin Lano, Kevin Lano, Bernhard Rumpe, ...
: --------- The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily...
An Approach to Animating Model-Based Object-Oriented Formal Specifications (1999)
Krzysztof Czarnecki, Du Zhang, Kevin Lano
One of the important issues in the application of formal notations in software development is the validation of formal specifications against the informal customer requirements. Animation has been...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully explored...
The UML as a Formal Modeling Notation (1998)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Abstract. The Uni ed Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative thattheUMLneedsawell-de ned, fully explored...
Logical Specification of Reactive and Real-time Systems (1998)
This paper provides a uniform specification and reasoning framework for reactive and real-time systems, which combines the formalisms of real-time logic (RTL) and linear temporal logic to provide an...
Component composition in business and system modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Component composition in business and system modeling (1997)
Stuart Kent, Juan Bicarregui, Kevin Lano, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
The UML as a Formal Modeling Notation (1997)
Andy Evans Robert, Kevin Lano, Bernhard Rumpe
. The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored...
Component Composition in Business and System Modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
The UML as a Formal Modeling Notation (1997)
Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
. The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored...
An Animation Tool for Supporting Specification-Based Software Architectures (1995)
Krzysztof Czarnecki, Du Zhang, Kevin Lano
. One of the important issues in supporting specification-based software architectures is how to verify that formal specifications of a software system satisfy liveness, safety and timing...
Formal Speci cations in Software Maintenance: From code to Z ++ and back again (1993)
Jonathan Bowen, Peter Breuer, Kevin Lano
This paper presents a numberoftechniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal...