by
Meseguer, José. editor.
Format:
Electronic Resources
Excerpt:
languages and tools, formal specification and development case studies, logic, category theory, relation
by
Galitsky, Boris. author.
Format:
Electronic Resources
Excerpt:
researchers with a wide range of examples, tools and detailed case studies to work from. Computational Autism
View Other Search Results
by
Bjørner, Dines. editor.
Format:
Electronic Resources
Excerpt:
event-B Modelling Method: Concepts and Case Studies -- A Methodological Guide to the CafeOBJ Logic -- Casl
by
Ben-Ari, Mordechai. author.
Format:
Electronic Resources
Excerpt:
book describes free software that the author has developed: jSpin—an integrated development environment
by
Prodan, Radu. author.
Format:
Electronic Resources
Excerpt:
scientific problems. This monograph addresses four critical software development aspects for the engineering
by
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Excerpt:
: development of resilient systems; incremental development processes for resilient systems; requirements
by
Luck, Michael. editor.
Format:
Electronic Resources
Excerpt:
Development Processes -- Extending Gaia with Agent Design and Iterative Development -- AgentPrIMe: Adapting
by
Daneva, Maya. editor.
Format:
Electronic Resources
Excerpt:
Strategies in Requirements Engineering Experiments with Student Participants -- Lean Development in Design
by
McIver, Annabelle. author.
Format:
Electronic Resources
Excerpt:
specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets
by
Lover, Robert. author.
Format:
Electronic Resources
Excerpt:
software developer, has created and taught professional development courses for Harvard University, and has
by
Misra, Jayadev. editor.
Format:
Electronic Resources
Excerpt:
Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development
by
Concas, Giulio. editor.
Format:
Electronic Resources
Excerpt:
Executable Acceptance Test Driven Development -- EzUnit: A Framework for Associating Failed Unit Tests with
Limit Search Results
Narrowed by: