Functional - PDFSEARCH.IO - Document Search Engine

Functional
Results: 21977

#	Item
881	Extending Code Genera/on to Support Pla6orm-Independent Event-B Models Asieh Salehi, Michael Butler, Colin Snook University of Southampton, Southampton, United Kingdom Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:27:32 Software engineering Computer programming Programming language theory Object-oriented programming languages Procedural programming languages Cross-platform software Functional languages J C E D
882	QA to AQ Part Four Shifting from Quality Assurance to Agile Quality “Prioritizing Qualities and Making them Visible” Joseph W. Yoder 1, Rebecca Wirfs-Brock2, Hironori Washizaki3 1 2 Add to Reading List Source URL: wirfs-brock.com Language: English - Date: 2016-04-03 15:55:06 Software development Software engineering Software requirements Agile software development Project management Software development process Software project management Scrum Software testing Quality assurance Non-functional requirement User story
883	326 Genome Informatics 13: 326–Towards a Functional Classification of ARE Protein Interactions Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-12-19 23:03:34 Biology Genetics RNA Gene expression Molecular biology Spliceosome RNA-binding protein AU-rich element Messenger RNA Rev LSm Sequence alignment
884	LOGO_frontiersinpsychology Add to Reading List Source URL: blog.susannereiterer.eu Language: English - Date: 2013-01-14 10:32:10 Nervous system Neuroscience Medicine Neurology Electrophysiology Neurophysiology Bilingualism Electroencephalography Neuroscience of multilingualism Functional magnetic resonance imaging Auditory cortex Synchronization
885	MOR Guidance Notes Version 3 Add to Reading List Source URL: www.arnecc.gov.au Language: English - Date: 2016-04-08 00:28:47 Technology Engineering Software requirements Systems engineering Quality Technical communication Non-functional requirement Specification Regulatory compliance Systems science
886	Towards a More Functional and Secure Network Infrastructure Daniel Adkins Karthik Lakshminarayanan Adrian Perrig Ion Stoica UC Berkeley UC Berkeley CMU Add to Reading List Source URL: sahara.cs.berkeley.edu Language: English - Date: 2003-06-05 12:41:23 Computing Network architecture Computer architecture Cyberwarfare Computer network security Data security IP multicast Overlay network Denial-of-service attack Anycast Database trigger Firewall
887	Guide to lhs2TEX (for versionRalf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Software Computer programming Source code Functional languages Haskell Literate programming Directive Comment Printf format string Map LaTeX
888	INEX Efficiency Track meets XQuery Full Text in BaseX Sebastian Gath, Christian Gr¨ un, Alexander Holupirek, and Marc H. Scholl .@uni-konstanz.de Department of Computer & Information Science Add to Reading List Source URL: files.basex.org Language: English - Date: 2012-06-22 19:25:04 Computing Data management Information retrieval Query languages XML databases Functional languages BaseX XQuery XPath Query optimization EXist Full text search
889	CrossMark_Color_Stacked_p Add to Reading List Source URL: kinderlab.bcs.rochester.edu Language: English - Date: 2016-02-16 08:44:33 Linguistics Phonology Phonetics Prosody Systemic functional linguistics Dependency grammar Stress Tone Focus Prosodic unit Intonation ToBI
890	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem

UPDATE