• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    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 Page: 1 2 3 4 Hits 1 – 20 of 64 1 The Prevalence and Impact of Persistent Ambiguity in Software Requirements Specification Documents Ribeiro, Cristina. - : University of Waterloo, 2016 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 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 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 Adaptive ontology re-use: Finding and re-using sub-ontologies ... Stecher, Rodolfo; Niederée, Claudia; Nejdl, Wolfgang. - : Bingley : Emerald Group Publishing Ltd., 2008 BASE Show details 7 A Domain specific language for the definition of extended queueing network models Gianni, D; D'Ambrogio, A. - 2008 BASE Show details 8 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 9 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 10 Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach Liu, Shih-Hsi; Cao, Fei; Bryant, Barrett R.... In: DTIC (2005) BASE Show details 11 A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling Cao, Fei; Bryant, Barrett R.; Burt, Carol C.... In: DTIC (2005) BASE Show details 12 QuARS: A Tool for Analyzing Requirements Lami, Giuseppe In: DTIC (2005) BASE Show details 13 Plan Critiquing and Look-Ahead Constraint Reasoning for Active Templates White, Christopher M. In: DTIC AND NTIS (2004) BASE Show details 14 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 15 TAME: Using PVS Strategies for Special-Purpose Theorem Proving Archer, Myla In: DTIC (2001) BASE Show details 16 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 17 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 18 Composite Event Specification and Detection for Supporting Active Capability in an OODBMS: Semantics Architecture and Implementation. Chakravarthy, S.; Krishnaprasad, V.; Tamizuddin, Z.... In: DTIC AND NTIS (1995) BASE Show details 19 Design and Specification of an Object-Oriented Data Manipulation Language. Stephens, Michael W. In: DTIC AND NTIS (1995) BASE Show details 20 Performance Optimization in ADA. Jullig, Richard; Srinivas, Y. V. In: DTIC AND NTIS (1995) BASE Show details Page: 1 2 3 4

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