| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Model Transformation Specification and Design.  |
Advances in Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Slicing Techniques for UML Models. |
Journal of Object Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Solving the TTC 2011 Model Migration Case with UML-RSDS |
TTC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case |
TTC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shekoufeh Kolahdouz Rahimi, Kevin Lano |
A Model-Based Development Approach for Model Transformations. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Model-Driven Development of Model Transformations. |
ICMT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
Model projection: simplifying models in response to restricting the environment. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Slicing of UML Models. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Specification and Verification of Model Transformations Using UML-RSDS. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Slicing of UML Models Using Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
A compositional semantics of UML-RSDS. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
| 1 | Kevin Lano, David Clark |
Semantics and Refinement of Behavior State Machines. |
ICEIS (3-1) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, David Clark |
Model Transformation Specification and Verification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
UML, Specification, Model transformations |
| 1 | Kevin Lano, David Clark |
Direct Semantics of Extended State Machines. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
A light-weight static approach to analyzing UML behavioral properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, José Luiz Fiadeiro |
Extending UML with coordination contracts. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
Coordination contracts, UML, MDA |
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Refinement Patterns for UML. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Advanced systems design with Java, UML and MDA. |
|
2005 |
RDF |
|
| 1 | Kevin Lano, Runa Jesmin |
Generating Accessible and Usable Internet Systems. |
ICWI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
UML to B: Formal Verification of Object-Oriented Models. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML-RSDS, Graphical Specifications, UML, B |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
RSDS, a Subset of UML with Precise Semantics. |
L'OBJET |
2003 |
DBLP BibTeX RDF |
|
| 1 | Runa Jesmin, Kevin Lano |
Internet System Design for the Disabled Net. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, José Luiz Fiadeiro, Luis Filipe Andrade |
Software design using Java 2. |
|
2002 |
RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
From Implicit Specifications to Explicit Designs in Reactive System Development. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
B AMN, RSDS, model-checking, UML, Reactive Systems |
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos |
Safety and Security Analysis of Object-Oriented Models. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. |
Softw. Test., Verif. Reliab. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Robert B. France, Jean-Michel Bruel |
A Semantic Comparison of Fusion and Syntropy. |
Comput. J. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, Pauline Kan |
Structuring Reactive Systems in B AMN. (PDF / PS) |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Juan Bicarregui, Andy Evans |
Structured Axiomatic Semantics for UML Models. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark |
Structuring and Design of Reactive Systems Using RSDS and B. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan |
Invariant-Based Synthesis of Fault-Tolerant Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, N. Malik |
Mapping Procedural Patterns to Object-Oriented Design Patterns. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Kelly Androutsopoulos |
Reactive System Refinement of Distributed Systems in B. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Andy Evans |
Rigorous Development in UML. |
FASE |
1999 |
DBLP BibTeX RDF |
|
| 1 | S. J. Goldsack, Kevin Lano |
Models Involving Multiple Instances of a Component. |
LMO |
1999 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
Logical Specification of Reactive and Real-Time Systems. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Andy Evans, Kevin Lano, Bernhard Rumpe |
The UML as a formal modeling notation. |
Computer Standards & Interfaces |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe |
The UML as a Formal Modeling Notation. |
UML |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Juan Bicarregui |
Semantics and Transformations for UML Models. |
UML |
1998 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum, Pauline Kan, Kevin Lano |
Systematising Reactive System Design. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Pauline Kan, Arturo Sanchez |
Linking Hazard Analysis to Formal Specification and Design in B. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Pauline Kan, Arturo Sanchez |
Compositional Specification of Controllers for Batch Process Operations. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IEE Proceedings - Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, S. J. Goldsack |
Formalizing Real-Time System Design. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Formalizing Object-Oriented Models in the Object Calculus. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Towards a compositional interpretation of object diagrams. |
Algorithmic Languages and Calculi |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent |
Integrating VDM++ and Real-Time System Design. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Specifying Reactive Systems in B AMN. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes |
Specification of Required Non-determinism. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Arturo Sanchez |
Design of Reactive Control Systems for Event-Drivem Operations. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Malik, Kevin Lano |
A Formal Approach to Design Patterns in Re-Engineering. |
IWFM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | S. J. Goldsack, Kevin Lano, Eugène Dürr |
Specification and Refinement of Continuous Real-Time Systems. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Arturo Sanchez |
Transformational Formal Development of Real-Time Systems. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | S. J. Goldsack, Kevin Lano, Eugène Dürr |
Annealing and Data Decomposition in VDM++. |
SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
VDM |
| 1 | Kevin Lano |
Enhancing Object-Oriented Methods with Formal Notations. |
TAPOS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
The B language and method - a guide to practical formal development. |
|
1996 |
RDF |
|
| 1 | Kevin Lano |
Formal object-oriented development. |
|
1995 |
RDF |
|
| 1 | Kevin Lano |
Distributed System Specification in VDM++. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
Reactive System Specification and Refinement. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, S. J. Goldsack |
Discrete event process controller synthesis using VDM/sup ++/. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion |
| 1 | Kevin Lano |
Transformational Program Analysis. |
Softw. Test., Verif. Reliab. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, S. J. Goldsack |
Refinement, Subtyping and Subclassing in VDM++. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
The Intuitionistic Alternative Set Theory. |
Ann. Pure Appl. Logic |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Howard P. Haughton |
Integrating Formal and Structured Methods in Reverse Engineering. |
WCRE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
Set Theoretic Foundations for Fuzzy Set Theory, and Their Applications. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Object-Oriented Specification Techniques. |
TOOLS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Howard P. Haughton |
Reuse and Adaptation of Z Specifications. |
Z User Workshop |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
Z++. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano, Howard P. Haughton |
Reasoning and Refinement in Object-Oriented Specification Languages. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Intuitionistic Modal Logic and Set Theory. |
J. Symb. Log. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
A Constraint-Based Fuzzy Inference System. |
EPIA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Howard P. Haughton |
An Algebraic Semantics for the Specification Language Z++. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | Kevin Lano |
Z++, An Object-orientated Extension to Z. |
Z User Workshop |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")