Skip to contents

Holcombe, Mike [Author]

Running an agile software development project : [a practical approach to building small to medium software systems for real business clients]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, NJ: Wiley, 2008
Holcombe, Mike [Author]; Ipate, Florentin [Author]

Correct systems: building a business process solution

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Applied computing
Eleftherakis, George [Author] ; Hinchey, Mike [Other]; Holcombe, Mike [Other]

Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7504
Baumeister, Hubert [Other]; Holcombe, Mike [Other]; Marchesi, Michele [Other]

Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3556
Holcombe, Mike

Extreme Programming and Agile Processes in Software Engineering: XP after Enron - Can It Survive?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Extreme Programming and Agile Processes in Software Engineering (2003), Seite 1-8
Holcombe, Mike

What are X-Machines?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2000

Published in: Formal Aspects of Computing, 12 (2000) 6, Seite 418-422
Holcombe, Mike

Abstract machine models of cell metabolism

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1992

Published in: ACM SIGBIO Newsletter, 12 (1992) 2, Seite 14-17
Holcombe, Mike

A practical introduction to denotational semantics, by Lloyd Allison. Pp 132. £22·50 (hardback), £7·95 (paperback). 1987. ISBN 0-521-30689-2, 31423-2 (Cambridge University Press) - Denotational semantics, by David A. Schmidt. Pp 331. £15·95. 1986. ISBN 0-205-10450-9 (Prentice-Hall)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1988

Published in: The Mathematical Gazette, 72 (1988) 461, Seite 251-252
Holcombe, Mike

Review: A Practical Introduction to Denotational Semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

The Mathematical Association, 1988

Published in: The Mathematical Gazette, 72 (1988) 461, Seite 251-252
Holcombe, Mike; Gheorghe, Marian

Learning the Business

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific Research Publishing, Inc., 2012

Published in: Creative Education, 3 (2012) 2, Seite 269-274
Ipate, Florentin; Holcombe, Mike

Testing data processing-oriented systems from stream X-machine models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2008

Published in: Theoretical Computer Science, 403 (2008) 2-3, Seite 176-191
Holcombe, Mike; Kalra, Bhavnidhi

Extreme Programming and Agile Processes in Software Engineering: Agile Development Environment for Programming and Testing (ADEPT) – Eclipse Makes Project Management eXtreme

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Extreme Programming and Agile Processes in Software Engineering (2005), Seite 255-258
Varma, Susheel; Holcombe, Mike

Extreme Programming and Agile Processes in Software Engineering: Extreme Programming: The Genesys Experience

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Extreme Programming and Agile Processes in Software Engineering (2005), Seite 327-328
Varma, Susheel; Holcombe, Mike

Extreme Programming and Agile Processes in Software Engineering: Shared Code Repository: A Narrative

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Extreme Programming and Agile Processes in Software Engineering (2005), Seite 329-330
Ipate, Florentin; Holcombe, Mike

Extreme Programming and Agile Processes in Software Engineering: Using State Diagrams to Generate Unit Tests for Object-Oriented Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Extreme Programming and Agile Processes in Software Engineering (2005), Seite 214-217
Holcombe, Mike; Ipate, Florentin

Extreme Programming and Agile Processes in Software Engineering: Complete Test Generation for Extreme Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Extreme Programming and Agile Processes in Software Engineering (2004), Seite 274-277
Ipate, Florentin; Holcombe, Mike

An Integrated Refinement and Testing Method for Stream X-machines

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2002

Published in: Applicable Algebra in Engineering, Communication and Computing, 13 (2002) 2, Seite 67-91
Ipate, Florentin; Holcombe, Mike

Testing Conditions for Communicating Stream X-machine Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2002

Published in: Formal Aspects of Computing, 13 (2002) 6, Seite 431-446
Ipate, Florentin; Holcombe, Mike

Generating Test Sets from Non-Deterministic Stream X-Machines

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2000

Published in: Formal Aspects of Computing, 12 (2000) 6, Seite 443-458
Parker, Helen; Holcombe, Mike

Campus-based industrial software projects : risks and rewards : risks and rewards

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1999

Published in: ACM SIGCSE Bulletin, 31 (1999) 3, Seite 189

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication