Software engineering. 2, Specification of systems and languages /
| Main Author: | Bjørner, D. (Dines), 1937- |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
2006.
|
| Series: | Texts in theoretical computer science . An EATCS series.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Software engineering.
by: Bjørner, D. (Dines), 1937-
Published: (2006)
by: Bjørner, D. (Dines), 1937-
Published: (2006)
Software engineering.
by: Bjørner, D. (Dines), 1937-
Published: (2006)
by: Bjørner, D. (Dines), 1937-
Published: (2006)
Software engineering : a practitioners approach /
by: Pressman, Roger S., et al.
Published: (2020)
by: Pressman, Roger S., et al.
Published: (2020)
Introduction to software engineering /
by: Leach, Ronald J.
Published: (2016)
by: Leach, Ronald J.
Published: (2016)
Kluwer international series in software engineering.
Guide to advanced empirical software engineering /
Published: (2008)
Published: (2008)
A concise introduction to software engineering /
by: Jalote, Pankaj
Published: (2008)
by: Jalote, Pankaj
Published: (2008)
The future of software engineering /
Published: (2011)
Published: (2011)
Collaborative software engineering /
Published: (2010)
Published: (2010)
Ada for Software Engineers /
by: Ben-Ari, M., 1948-
Published: (2009)
by: Ben-Ari, M., 1948-
Published: (2009)
New software engineering paradigm based on complexity science : an introduction to NSE /
by: Xiong, Jay
Published: (2011)
by: Xiong, Jay
Published: (2011)
Managing and leading software projects /
by: Fairley, R. E. (Richard E.), 1937-
Published: (2009)
by: Fairley, R. E. (Richard E.), 1937-
Published: (2009)
Introduction to software process improvement /
by: O'Regan, Gerard (Cornelius Gerard)
Published: (2011)
by: O'Regan, Gerard (Cornelius Gerard)
Published: (2011)
Trustworthy systems through quantitative software engineering /
by: Bernstein, Lawrence, 1940-
Published: (2005)
by: Bernstein, Lawrence, 1940-
Published: (2005)
An integrated approach to software engineering /
by: Jalote, Pankaj
Published: (2005)
by: Jalote, Pankaj
Published: (2005)
Engineering and managing software requirements /
by: Aurum, Aybüke, 1957-
Published: (2005)
by: Aurum, Aybüke, 1957-
Published: (2005)
Agile software engineering /
by: Hazzan, Orit, 1962-
Published: (2008)
by: Hazzan, Orit, 1962-
Published: (2008)
Software product lines : research issues in engineering and management /
Published: (2006)
Published: (2006)
Human-centered software engineering : software engineering models, patterns and architectures for HCI /
Published: (2009)
Published: (2009)
Software automatic tuning : from concepts to state-of-the-art results /
Published: (2010)
Published: (2010)
Rationale-based software engineering /
Published: (2008)
Published: (2008)
Scientific programming and computer architecture /
by: Viswanath, Divakar
Published: (2017)
by: Viswanath, Divakar
Published: (2017)
Software product lines in action : the best industrial practice in product line engineering /
by: Linden, Frank van der, 1954-
Published: (2007)
by: Linden, Frank van der, 1954-
Published: (2007)
The best software writing I /
Published: (2005)
Published: (2005)
Software engineering for embedded systems : methods, practical techniques, and applications /
Published: (2019)
Published: (2019)
Systems and software engineering with applications /
by: Schneidewind, Norman
Published: (2009)
by: Schneidewind, Norman
Published: (2009)
The art of software innovation : eight practice areas to inspire your business /
Published: (2011)
Published: (2011)
Clustering-Based Support for Software Architecture Restructuring /
by: Streekmann, Niels
Published: (2011)
by: Streekmann, Niels
Published: (2011)
Experience and knowledge management in software engineering /
by: Schneider, Kurt (Prof. Dr.)
Published: (2009)
by: Schneider, Kurt (Prof. Dr.)
Published: (2009)
Advancements in model-driven architecture in software engineering /
Published: (2021)
Published: (2021)
Software measurement and estimation : a practical approach /
by: Laird, Linda M., 1952-
Published: (2006)
by: Laird, Linda M., 1952-
Published: (2006)
Relating software requirements and architectures /
Published: (2011)
Published: (2011)
The cognitive dynamics of computer science : cost-effective large scale software development /
by: De Gyurky, Szabolcs Michael
Published: (2006)
by: De Gyurky, Szabolcs Michael
Published: (2006)
The Essence of Software Engineering /
Published: (2018)
Published: (2018)
Engineering of software : the continuing contributions of Leon J. Osterweil /
Published: (2011)
Published: (2011)
Transactions on aspect-oriented software development VII : a common case study for aspect-oriented modeling /
Published: (2010)
Published: (2010)
Automotive software engineering : principles, processes, methods, and tools /
by: Schäuffele, Jörg, et al.
Published: (2016)
by: Schäuffele, Jörg, et al.
Published: (2016)
Specification of software systems /
by: Alagar, Vangalur S., 1940-
Published: (2011)
by: Alagar, Vangalur S., 1940-
Published: (2011)
Intentional perspectives on information systems engineering /
Published: (2010)
Published: (2010)
Self-organising software : from natural to artificial adaptation /
Published: (2011)
Published: (2011)