• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (5)
    • Book (3)
    • Miscellaneous (3)
  • 
    BLLDB-Access

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 Hits 1 – 11 of 11 1 Automatically detecting the conflicts between software requirements based on finer semantic analysis ... Guo, Weize; Zhang, Li; Lian, Xiaoli. - : arXiv, 2021 BASE Show details 2 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 3 Component-based mechanisation of programming languages in embedded settings ... : Komponentenbasierten Ansatz zur Programmiersprachenimplementierung ... Haeri, Seyed Hossein. - : TUHH Universitätsbibliothek, 2014 BASE Show details 4 Konzept und Entwicklung eines Werkzeugs zur automatisierten Übersetzung natürlichsprachlicher Anforderungen Siegmund, Nadine. - : Stuttgart, Germany, Universität Stuttgart, 2012 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-3301/DIP-3301.pdf (2012) BASE Show details 5 Verification Architectures: Compositional Reasoning for Real-time Systems Faber, Johannes 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 6 M.D.: Object and reference immutability using Java generics Yoav Zibin; Alex Potanin; Mahmood Ali... In: http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf (2007) BASE Show details 7 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 8 From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ... Xiao, Yong; Ariola, Zena M.; Mauny, Michel. - : arXiv, 2000 BASE Show details 9 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 10 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 11 Isolating and Relating Concerns in Requirements using Latent Semantic Analysis In: http://morpheus.cs.ucdavis.edu/papers/p383-kit.pdf BASE Show details

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 11 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0