Search the dblp DataBase
Kevin Lano :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Juan Bicarregui , Kevin Lano , T. S. E. Maibaum Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. [Citation Graph (1, 0)][DBLP ] ECOOP, 1997, pp:324-343 [Conf ] Andy Evans , Robert B. France , Kevin Lano , Bernhard Rumpe The UML as a Formal Modeling Notation. [Citation Graph (1, 0)][DBLP ] UML, 1998, pp:336-348 [Conf ] Kevin Lano Enhancing Object-Oriented Methods with Formal Notations. [Citation Graph (1, 0)][DBLP ] TAPOS, 1996, v:2, n:4, pp:247-268 [Journal ] Juan Bicarregui , Kevin Lano , T. S. E. Maibaum Towards a compositional interpretation of object diagrams. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:187-211 [Conf ] Kevin Lano , Howard P. Haughton An Algebraic Semantics for the Specification Language Z++ . [Citation Graph (0, 0)][DBLP ] AMAST, 1991, pp:478-493 [Conf ] T. S. E. Maibaum , Pauline Kan , Kevin Lano Systematising Reactive System Design. [Citation Graph (0, 0)][DBLP ] AMAST, 1998, pp:17-22 [Conf ] S. J. Goldsack , Kevin Lano , Eugène Dürr Specification and Refinement of Continuous Real-Time Systems. [Citation Graph (0, 0)][DBLP ] ARTS, 1997, pp:310-324 [Conf ] Kevin Lano , Ana Sánchez Transformational Formal Development of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] ARTS, 1997, pp:184-198 [Conf ] Kevin Lano , Howard P. Haughton Reasoning and Refinement in Object-Oriented Specification Languages. [Citation Graph (0, 0)][DBLP ] ECOOP, 1992, pp:78-97 [Conf ] Juan Bicarregui , Kevin Lano , T. S. E. Maibaum Formalizing Object-Oriented Models in the Object Calculus. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1997, pp:155-160 [Conf ] Kevin Lano , S. J. Goldsack Formalizing Real-Time System Design. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1997, pp:436-445 [Conf ] Kevin Lano A Constraint-Based Fuzzy Inference System. [Citation Graph (0, 0)][DBLP ] EPIA, 1991, pp:45-59 [Conf ] Kevin Lano , Kelly Androutsopoulos , David Clark Structuring and Design of Reactive Systems Using RSDS and B. [Citation Graph (0, 0)][DBLP ] FASE, 2000, pp:97-111 [Conf ] Kevin Lano , Andy Evans Rigorous Development in UML. [Citation Graph (0, 0)][DBLP ] FASE, 1999, pp:129-144 [Conf ] Kevin Lano , Juan Bicarregui , José Luiz Fiadeiro , Antónia Lopes Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:298-317 [Conf ] Kevin Lano , Ana Sánchez Design of Reactive Control Systems for Event-Drivem Operations. [Citation Graph (0, 0)][DBLP ] FME, 1997, pp:142-161 [Conf ] Kevin Lano Distributed System Specification in VDM++ . [Citation Graph (0, 0)][DBLP ] FORTE, 1995, pp:23-38 [Conf ] Kevin Lano , David Clark , Kelly Androutsopoulos , Pauline Kan Invariant-Based Synthesis of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2000, pp:46-57 [Conf ] Kevin Lano , Runa Jesmin Generating Accessible and Usable Internet Systems. [Citation Graph (0, 0)][DBLP ] ICWI, 2004, pp:75-82 [Conf ] Kevin Lano , S. J. Goldsack Discrete event process controller synthesis using VDM/sup ++/. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:129-136 [Conf ] Kevin Lano , Kelly Androutsopoulos , Pauline Kan Structuring Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP ] ICFEM, 2000, pp:25-34 [Conf ] Kevin Lano , Kelly Androutsopoulos Reactive System Refinement of Distributed Systems in B. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:415-434 [Conf ] Kevin Lano , David Clark , Kelly Androutsopoulos From Implicit Specifications to Explicit Designs in Reactive System Development. [Citation Graph (0, 0)][DBLP ] IFM, 2002, pp:49-68 [Conf ] Kevin Lano , David Clark , Kelly Androutsopoulos UML to B: Formal Verification of Object-Oriented Models. [Citation Graph (0, 0)][DBLP ] IFM, 2004, pp:187-206 [Conf ] Kevin Lano , S. J. Goldsack Refinement, Subtyping and Subclassing in VDM++. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1994, pp:341-363 [Conf ] N. Malik , Kevin Lano A Formal Approach to Design Patterns in Re-Engineering. [Citation Graph (0, 0)][DBLP ] IWFM, 1997, pp:- [Conf ] Kevin Lano Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:258-268 [Conf ] Kevin Lano , Juan Bicarregui , Andy Evans Structured Axiomatic Semantics for UML Models. [Citation Graph (0, 0)][DBLP ] Rigorous Object-Oriented Methods, 2000, pp:- [Conf ] Kevin Lano , David Clark , Kelly Androutsopoulos Safety and Security Analysis of Object-Oriented Models. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2002, pp:82-93 [Conf ] Kevin Lano , Pauline Kan , Ana Sánchez Linking Hazard Analysis to Formal Specification and Design in B. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1998, pp:60-74 [Conf ] Runa Jesmin , Kevin Lano Internet System Design for the Disabled Net. [Citation Graph (0, 0)][DBLP ] Software Engineering Research and Practice, 2003, pp:956-962 [Conf ] Kevin Lano Reactive System Specification and Refinement. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:696-710 [Conf ] Kevin Lano , Juan Bicarregui Semantics and Transformations for UML Models. [Citation Graph (0, 0)][DBLP ] UML, 1998, pp:107-119 [Conf ] Kevin Lano , Howard P. Haughton Integrating Formal and Structured Methods in Reverse Engineering. [Citation Graph (0, 0)][DBLP ] WCRE, 1993, pp:17-26 [Conf ] Kevin Lano Z++ , An Object-orientated Extension to Z. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1990, pp:151-172 [Conf ] Kevin Lano Z++ . [Citation Graph (0, 0)][DBLP ] Object Orientation in Z, 1992, pp:105-112 [Conf ] Kevin Lano Specifying Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP ] ZUM, 1997, pp:242-274 [Conf ] Kevin Lano , S. J. Goldsack , Juan Bicarregui , Stuart Kent Integrating VDM++ and Real-Time System Design. [Citation Graph (0, 0)][DBLP ] ZUM, 1997, pp:188-219 [Conf ] Kevin Lano , Howard P. Haughton Reuse and Adaptation of Z Specifications. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1992, pp:62-90 [Conf ] Kevin Lano , Pauline Kan , Ana Sánchez Compositional Specification of Controllers for Batch Process Operations. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:250-264 [Conf ] Kevin Lano Object-Oriented Specification Techniques. [Citation Graph (0, 0)][DBLP ] TOOLS (7), 1992, pp:403- [Conf ] S. J. Goldsack , Kevin Lano Models Involving Multiple Instances of a Component. [Citation Graph (0, 0)][DBLP ] LMO, 1999, pp:245-260 [Conf ] Kevin Lano The Intuitionistic Alternative Set Theory. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1993, v:59, n:2, pp:141-156 [Journal ] Kevin Lano , N. Malik Mapping Procedural Patterns to Object-Oriented Design Patterns. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:3, pp:265-289 [Journal ] Kevin Lano , Robert B. France , Jean-Michel Bruel A Semantic Comparison of Fusion and Syntropy. [Citation Graph (0, 0)][DBLP ] Comput. J., 2000, v:43, n:6, pp:451-468 [Journal ] Kevin Lano , Kelly Androutsopoulos , David Clark Refinement Patterns for UML. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:131-149 [Journal ] Juan Bicarregui , D. L. Clutterbuck , Gavin R. Finnie , Howard P. Haughton , Kevin Lano , H. Lesan , D. W. R. M. Marsh , B. M. Matthews , Michael R. Moulding , A. Richard Newton , Brian Ritchie , T. G. A. Rushton , P. N. Scharbach Formal methods into practice: case studies in the application of the B method. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1997, v:144, n:2, pp:119-133 [Journal ] Kevin Lano Intuitionistic Modal Logic and Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:2, pp:497-516 [Journal ] Kevin Lano Logical Specification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1998, v:8, n:5, pp:679-711 [Journal ] S. J. Goldsack , Kevin Lano , Eugène Dürr Annealing and Data Decomposition in VDM++. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1996, v:31, n:4, pp:32-38 [Journal ] Kevin Lano Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2001, v:11, n:1, pp:55- [Journal ] Kevin Lano Transformational Program Analysis. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1994, v:4, n:3, pp:155-189 [Journal ] Lijun Yu , Robert B. France , Indrakshi Ray , Kevin Lano A light-weight static approach to analyzing UML behavioral properties. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:56-63 [Conf ] Semantics and Refinement of Behavior State Machines. [Citation Graph (, )][DBLP ] Slicing of UML Models Using Model Transformations. [Citation Graph (, )][DBLP ] Model Transformation Specification and Verification. [Citation Graph (, )][DBLP ] RSDS, a Subset of UML with Precise Semantics. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.456secs