219 citations
- Centre National de la Recherche ScientifiqueFR19 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR14 papers
- University of SurreyGB13 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE11 papers
- University of JyväskyläFI11 papers
- Sheffield Hallam UniversityGB9 papers
- Université Paris-SaclayFR9 papers
- University of LiverpoolGB9 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR8 papers
- Université de BordeauxFR8 papers
- Laboratoire de Physique des deux infinis BordeauxFR7 papers
- The University of TokyoJP7 papers
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2016
Type Annotation for Adaptive Systems
Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this appro…
cs.SE2014★ 31 cited
Defining UML Family Members Using Prefaces
Steve Cook, Anneke Kleppe, Richard Mitchell +3
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definiti…
cs.SE2014★ 46 cited
The Amsterdam Manifesto on OCL
Steve Cook, Anneke Kleppe, Richard Mitchell +3
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the us…