• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (382)
  • 
    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 5 6 7...20 Hits 41 – 60 of 382 41 Introduction of Automation for the Production of Bilingual, Parallel-Aligned Text Tanenbaum, Will; LaRocca, Steven A; Morgan, John J... In: DTIC (2011) BASE Show details 42 Review of WordSmith Tools Prinsloo, D.J.; Prinsloo, Daniel. - : University of Hawai'i Press, 2011 BASE Show details 43 Review of WordSmith Tools Prinsloo, D.J.; Prinsloo, Daniel. - : University of Hawai'i Press, 2011 BASE Show details 44 An OCL-Based approach to derive constraint test cases for database applications Cuadra Fernández, María Dolores; Aljumaily, Harith Taha Abdulla; Castro Galán, Elena; Velasco de Diego, Manuel. - : World Scientific Publishing Company, 2011 Abstract: The development of database applications in most CASE tools has been insufficient because most of these tools do not provide the software necessary to validate these appli-cations. Validation means ensuring whether a given application fulfils the user require-ments. We suggest validation of database applications by using the functional testing technique, which is a fundamental black-box testing technique for checking the software without being concerned about its implementation and structure. Our main contribu-tion to this work is in providing a MDA approach for deriving testing software from the OCL specification of the integrity constraints. This testing software is used to validate the database applications, which are used to enforce these constraints. The generated testing software includes three components: validation queries, test cases and initial data inserted before the testing process. Our approach is implemented as an add-in tool in Rational Rose called OCL2TestSW. ; This work has been partially supported by the project Thuban: Natural Interaction Platform for Virtual Attending in Real Environments (TIN2008-02711), and also by the Spanish research projects: MA2VICMR: Improving the access, analysis and visibility of the multilingual and multimedia information in web for the Region of Madrid (S2009/TIC-1542). ; Publicado Keyword: CASE tools; equivalence class testing; Functional testing software; Informática; MDA; software validation URL: http://hdl.handle.net/10016/20252 https://doi.org/10.1142/S0218194011005426 BASE Hide details 45 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 46 Maritime Domain Awareness via Agent Learning and Collaboration Zhao, Ying; MacKinnon, Douglas J.; Gallup, Shelly P.... In: DTIC (2010) BASE Show details 47 Enhancing a Web Crawler with Arabic Search Capability Nguyen, Qui V In: DTIC (2010) BASE Show details 48 Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool Kwantes, Peter; Terhaar, Phil In: DTIC (2010) BASE Show details 49 Why Smalltalk wins the host languages shootout Lukas Renggli; Tudor Gîrba In: http://scg.unibe.ch/archive/papers/Reng09bLanguageShootout.pdf (2009) BASE Show details 50 Automated Sentiment Analysis Shellman, Stephen M.; Covington, Michael A. In: DTIC (2009) BASE Show details 51 Blog Fingerprinting: Identifying Anonymous Posts Written by an Author of Interest Using Word and Character Frequency Analysis Dreier, David J. In: DTIC (2009) BASE Show details 52 Using Adversary Text to Detect Adversary Phase Changes Doser, Adele B.; Speed, Ann E.; Warrender, Christina E. In: DTIC (2009) BASE Show details 53 Design Of Domain-Specific Software Systems With Parametric Code Templates ... Yermashov, Kostyantyn; Wolke, Karsten; Siemsen, Karl Hayo. - : Zenodo, 2008 BASE Show details 54 Design Of Domain-Specific Software Systems With Parametric Code Templates ... Yermashov, Kostyantyn; Wolke, Karsten; Siemsen, Karl Hayo. - : Zenodo, 2008 BASE Show details 55 CEMAP II: An Architecture and Specifications to Facilitate the Importing of Real-World Data into the CASOS Software Suite Frantz, Terrill L.; Carley, Kathleen M. In: DTIC (2008) BASE Show details 56 A Sensemaking Visualization Tool with Military Doctrinal Elements Ntuen, Celestine A.; Gwang-Myung, Kim In: DTIC (2008) BASE Show details 57 IPB for Counterinsurgency Groves, Kimberly In: DTIC (2008) BASE Show details 58 A comparison of phonology tools Hunt, Geoffrey R.. - 2008 BASE Show details 59 DESIDERATA FOR LINGUISTIC SOFTWARE DESIGN Garretson, Gregory In: International Journal of English Studies; Vol. 8 No. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; International Journal of English Studies; Vol. 8 Núm. 1 (2008): Monograph: Software-aided Analysis of Language; 67-94 ; 1989-6131 ; 1578-7044 (2008) BASE Show details 60 Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios Moura, César. - : HAL CCSD, 2007 In: https://tel.archives-ouvertes.fr/tel-00156874 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français (2007) BASE Show details Page: 1 2 3 4 5 6 7...20

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 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0