Travelled to:1 × Norway
1 × Spain
1 × Switzerland
2 × Austria
2 × Finland
2 × The Netherlands
2 × USA
3 × France
3 × Germany
3 × United Kingdom
Collaborated with:D.Clark S.K.Rahimi K.Androutsopoulos ∅ J.Bicarregui H.P.Haughton A.Evans S.Y.Tehrani A.Sanchez M.Sharbaf T.S.E.Maibaum S.Zschaler R.B.France B.Rumpe J.L.Fiadeiro A.Lopes H.Alfraihi D.Binkley N.Gold M.Harman Z.Li
Talks about:model (13) specif (8) transform (7) system (6) uml (6) reactiv (5) develop (4) object (4) formal (4) design (4)
♂ Person: Kevin Lano
DBLP: Lano:Kevin
Facilitated 1 volumes:
PrCoContributed to:
2011
2011
20102010
2008
2007
200720042002
200019991999
1998
1997
1997
199319921992201620172018
1995Wrote 24 papers:
- ICMT-2011-LanoR #development #model transformation #modelling
- Model-Driven Development of Model Transformations (KL, SKR), pp. 47–61.
- ICSE-2011-AndroutsopoulosBCGHLL #modelling #strict
- Model projection: simplifying models in response to restricting the environment (KA, DB, DC, NG, MH, KL, ZL), pp. 291–300.
- IFM-2010-LanoR #model transformation #specification #uml #using #verification
- Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
- MoDELS-v2-2010-LanoR #model transformation #modelling #slicing #uml #using
- Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
- ICEIS-ISAS1-2008-LanoC #behaviour #refinement #semantics #state machine
- Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
- SEFM-2007-Lano #diagrams #interactive #specification #using
- Formal Specification using Interaction Diagrams (KL), pp. 293–304.
- TOOLS-EUROPE-2007-LanoC #semantics #state machine
- Direct Semantics of Extended State Machines (KL, DC), pp. 35–51.
- IFM-2004-LanoCA #modelling #object-oriented #uml #verification
- UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
- IFM-2002-LanoCA #design #development #specification
- From Implicit Specifications to Explicit Designs in Reactive System Development (KL, DC, KA), pp. 49–68.
- FASE-2000-LanoAC #design #using
- Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.
- FASE-1999-LanoE #development #uml
- Rigorous Development in UML (KL, AE), pp. 129–144.
- IFM-1999-LanoA #distributed #refinement
- Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.
- UML-1998-EvansFLR #formal method #modelling #uml
- The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
- UML-1998-LanoB #modelling #semantics #uml
- Semantics and Transformations for UML Models (KL, JB), pp. 107–119.
- ECOOP-1997-BicarreguiLM #approach #encapsulation
- Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (JB, KL, TSEM), pp. 324–343.
- FME-1997-LanoBFL #nondeterminism #specification
- Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
- FME-1997-LanoS #design
- Design of Reactive Control Systems for Event-Drivem Operations (KL, AS), pp. 142–161.
- WCRE-1993-LanoH #reverse engineering
- Integrating Formal and Structured Methods in Reverse Engineering (KL, HPH), pp. 17–26.
- ECOOP-1992-LanoH #object-oriented #reasoning #refinement #specification
- Reasoning and Refinement in Object-Oriented Specification Languages (KL, HPH), pp. 78–97.
- TOOLS-EUROPE-1992-Lano #object-oriented #specification
- Object-Oriented Specification Techniques (KL), p. 403.
- ICMT-2016-TehraniZL #development #requirements
- Requirements Engineering in Model-Transformation Development: An Interview-Based Study (SYT, SZ, KL), pp. 123–137.
- ICMT-2017-LanoRTS #design pattern #model transformation #overview
- A Survey of Model Transformation Design Pattern Usage (KL, SKR, SYT, MS), pp. 108–118.
- ICMT-2018-LanoRSA #model transformation #specification #technical debt
- Technical Debt in Model Transformation Specifications (KL, SKR, MS, HA), pp. 127–141.
- TAPSOFT-1995-Lano #refinement #specification
- Reactive System Specification and Refinement (KL), pp. 696–710.