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 2014Show all
3 papers · 1 filter
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…
cs.LO2014★ 3 cited
Detecting unknots via equational reasoning, I: Exploration
Andrew Fish, Alexei Lisitsa
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using…