| 2 |
Version Variation Visualization (VVV): Case Studies on the Hebrew Haggadah in English
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01307217 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken
|
|
|
|
BASE
|
|
Show details
|
|
|
| 8 |
M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
|
|
|
|
In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung
|
|
|
|
In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
|
|
|
|
In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments
|
|
|
|
In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Toward Formalizing Structured Analysis
|
|
|
|
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
A practical method for LR and LL syntactic error diagnosis and recovery
|
|
|
|
In: http://www.cs.berkeley.edu/~jcondit/pl-prelim/burke87practical.pdf (1987)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Analysis and Visualization of Temporal Changes in Bloggers ’ Activities and Interests
|
|
|
|
In: http://www.tkl.iis.u-tokyo.ac.jp/top/modules/newdb/extract/1152/data/PVis2012_MasahikoITOH_r05.pdf
|
|
BASE
|
|
Show details
|
|
|
| 17 |
The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture
|
|
|
|
In: http://www.soi.city.ac.uk/homes/till/wp31.ps
|
|
BASE
|
|
Show details
|
|
|
|
|
