• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2019 (1)
    • 2018 (1)
    • 2017 (1)
    • 2016 (1)
    • 2015 (3)
    • 2014 (2)
    • 2008 (2)
    • 2007 (1)
    • 2005 (3)
    • 2004 (1)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (32)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 32 1 A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019 BASE Show details 2 A comparative study of depression in Bantu, Khoisan and Chinese Wu – laryngeal settings and feature specifications Liu, Xiaoxi; Kula, Nancy C. In: Stellenbosch Papers in Linguistics Plus, Vol 54, Iss 0, Pp 17-43 (2018) (2018) BASE Show details 3 Gradually typed symbolic expressions Broman, David; Siek, J. G.. - : KTH, Programvaruteknik och datorsystem, SCS, 2017. : United States, 2017 BASE Show details 4 Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework Le Guernic, Gurvan; Combemale, Benoit; Galindo Duarte, José Angel In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016) BASE Show details 5 A Joint Development of Coloured Petri Nets and the B Method in Critical Systems SUN, Pengfei; Bon, Philippe; Collart-Dutilleul, Simon In: ISSN: 0948-695X ; EISSN: 0948-6968 ; Journal of Universal Computer Science ; https://hal.archives-ouvertes.fr/hal-01266935 ; Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2015, 21 (12), pp.1654-1683 (2015) BASE Show details 6 Systematic generation of standard compliant tool support of diagrammatic modeling languages Fouche, A.; Noyrit, F.; Gerard, Sébastien... In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-01836563 ; 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.348-357, ⟨10.1109/MODELS.2015.7338266⟩ (2015) BASE Show details 7 Fast as a shadow, expressive as a tree: Hybrid memory monitoring for C. Jakobsson, A.; Kosmatov, N.; Signoles, J. In: SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing ; https://hal-cea.archives-ouvertes.fr/cea-01836267 ; SAC '15 Proceedings of the 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1765-1772, ⟨10.1145/2695664.2695815⟩ (2015) BASE Show details 8 GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics) Jebali, Fatma; Lang, Frédéric; Mateescu, Radu In: https://hal.inria.fr/hal-00983711 ; [Research Report] RR-8527, INRIA. 2014 (2014) BASE Show details 9 Instrumentation of annotated c programs for test generation Petiot, G.; Botella, B.; Julliand, J.... In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014) BASE Show details 10 Semantic parameterization: A process for modeling domain descriptions Travis D. Breaux; Annie I. Antón; Jon Doyle In: http://www4.ncsu.edu/~tdbreaux/publications/tdbreaux-tosem09.pdf (2008) BASE Show details 11 Rule-Based Software Verification and Correction. Ballis, Demis. - : Universitat Politècnica de València, 2008 In: Riunet (2008) BASE Show details 12 Specifying norm-governed computational societies Alexander Artikis; Marek Sergot; Jeremy Pitt In: http://tocl.acm.org/accepted/304artikis.pdf (2007) BASE Show details 13 Modal specifications are a syntactic fragment of the Mu-calculus Feuillade, Guillaume In: https://hal.inria.fr/inria-00000139 ; [Research Report] PI 1729, 2005, pp.17 (2005) BASE Show details 14 Patterns and metamodel for a natural-language-based requirements specification language Carlos Videira; Alberto Rodrigues Da Silva In: http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-161/FORUM_31.pdf (2005) BASE Show details 15 Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Alexey Gotsman; Fabio Massacci; Marco Pistore In: http://www.cl.cam.ac.uk/~ovg20/papers/hlpsl-arspa05.pdf (2005) BASE Show details 16 Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique Morin-Allory, Katell. - : HAL CCSD, 2004 In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004) BASE Show details 17 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 18 A formal foundation for process modeling Christopher Menzel In: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf (2001) BASE Show details 19 A formal foundation for process modeling Christopher Menzel; Michael Grüninger In: http://philebus.tamu.edu/cmenzel/Papers/FOIS-2001.pdf (2001) BASE Show details 20 Languages and Problem Specification Soufi, Loutfi In: Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet ; https://hal.inria.fr/inria-00107844 ; Carlos Martin-Vide. Words, Sequences, Languages : Where Computer Science, Biology and Linguistics Meet, Kluwer Publishing House, 8 p, 2000 (2000) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 32 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0