Formal software development from VDM to Java /

Formal methods applied to complex systems : implementation of the B method /
Опубліковано: (2014)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
за авторством: Drusinsky, Doron
Опубліковано: (2006)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
за авторством: Drusinsky, Doron
Опубліковано: (2006)

Formal method industrial use from model to the code /
Опубліковано: (2012)

Formal method industrial use from model to the code /
Опубліковано: (2012)

Teamwork in multi-agent systems a formal approach /
за авторством: Dunin-Kȩplicz, Barbara
Опубліковано: (2010)

Teamwork in multi-agent systems a formal approach /
за авторством: Dunin-Kȩplicz, Barbara
Опубліковано: (2010)

UML 2 semantics and applications
Опубліковано: (2009)

UML 2 semantics and applications
Опубліковано: (2009)

Communicating embedded systems software and design : formal methods /
Опубліковано: (2010)

Communicating embedded systems software and design : formal methods /
Опубліковано: (2010)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Опубліковано: (2001)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Опубліковано: (2001)

Formal languages, automata and numeration systems 2 /
за авторством: Rigo, Michel
Опубліковано: (2014)

Formal languages, automata and numeration systems 2 /
за авторством: Rigo, Michel
Опубліковано: (2014)

The Software developer's guide
за авторством: Hentzen, Whil
Опубліковано: (2002)

The Software developer's guide
за авторством: Hentzen, Whil
Опубліковано: (2002)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
за авторством: Rigo, Michel
Опубліковано: (2014)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
за авторством: Rigo, Michel
Опубліковано: (2014)

Component-based software development case studies /
за авторством: Lau, Kung-Kiu
Опубліковано: (2004)

Component-based software development case studies /
за авторством: Lau, Kung-Kiu
Опубліковано: (2004)

Computers in language research
Опубліковано: (1983)

Computers in language research
Опубліковано: (1983)

Changing software development learning to be agile /
за авторством: Kelly, Allan, 1969-
Опубліковано: (2008)

Changing software development learning to be agile /
за авторством: Kelly, Allan, 1969-
Опубліковано: (2008)

Software development rhythms harmonizing agile practices for synergy /
за авторством: Lui, Kim Man
Опубліковано: (2008)

Software development rhythms harmonizing agile practices for synergy /
за авторством: Lui, Kim Man
Опубліковано: (2008)

Agile software development evaluating the methods for your organization /
за авторством: Koch, Alan S.
Опубліковано: (2005)

Agile software development evaluating the methods for your organization /
за авторством: Koch, Alan S.
Опубліковано: (2005)

Software engineering architecture-driven software development /
за авторством: Schmidt, Richard, 1956-
Опубліковано: (2013)

Software engineering architecture-driven software development /
за авторством: Schmidt, Richard, 1956-
Опубліковано: (2013)

Lean architecture for agile software development
за авторством: Coplien, James
Опубліковано: (2010)

Lean architecture for agile software development
за авторством: Coplien, James
Опубліковано: (2010)

Design for software a playbook for developers /
за авторством: Klimczak, Erik
Опубліковано: (2013)

Design for software a playbook for developers /
за авторством: Klimczak, Erik
Опубліковано: (2013)

Software paradigms
за авторством: Kaisler, Stephen H. (Stephen Hendrick)
Опубліковано: (2005)