Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
software implementation » hardware implementation
implementation https » instrumentation https, implementation _
method software » methods software, python software, methodology software
program method » programs method, program mentor, programming method
software implementation » hardware implementation
implementation https » instrumentation https, implementation _
method software » methods software, python software, methodology software
program method » programs method, program mentor, programming method
1
Published 2008
Table of Contents:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Requirements -- Real-Time Migration Properties of rTiMoVerified in Uppaal -- Verified Protocol to Implement...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”View full text
Electronic
eBook
8
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Problems Encountered When Implementing Agile Methods in a Very Small Company -- A Process Asset Library...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Agile Methods to Implement a Laboratory for Software Product Quality Evaluation -- Software Metrics...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
16
Published 2010
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook