UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (192)

ULiège (119)

UCLouvain (115)

UAntwerpen (104)

UGent (79)

KBR (62)

ULB (38)

UNamur (34)

VUB (24)

UHasselt (11)
More...

Resource type

book (196)

dissertation (1)

periodical (1)

Language

English (193)

Dutch (2)

French (2)

Year

From To

2011 (1)

2008 (1)

2007 (1)

2006 (4)

2005 (1)
More...

Listing 1 - 10 of 197 << page
of 20
>>
Sort by

Book

4th International workshop on software specification and design : proceedings, April 3-4, 1987, Monterey, California, USA
Author: International workshop on software specification and design (04th : 1987 : Monterey)
ISBN: 0818607696 9780818607691 Year: 1987 Publisher: Washington (D.C.): IEEE computer society press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
681.3*D21 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31}

System description methodologies : proceedings of the IFIP TC 2 conference on system description methodologies, Kecskemet, Hungary, 23-27 May, 1983
Authors: David, Gabor --- Teichroew, Daniel
ISBN: 0444877312 9780444877314 Year: 1985 Publisher: Amsterdam North-Holland

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
System design --- -System analysis --- -681.3*D21 --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Design, System --- Systems design --- Electronic data processing --- System analysis --- Congresses --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- -Network theory --- -Congresses --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Method --- System analysis--congresses --- Systems design--congresses --- Model --- Specification --- Design Method --- Methodology --- Software engineering --- Design --- Description

Software reliability guidebook
Author: Glass, Robert L..
ISBN: 0138217858 9780138217853 Year: 1979 Publisher: Englewood Cliffs (N.J.): Prentice Hall

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer software --- Reliability --- -681.3*D21 --- 681.3*D24 --- Software, Computer --- Computer systems --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Computer software - Reliability

Object-oriented specification case studies
Authors: Lano, Kevin --- Haughton, Howard
ISBN: 0130970158 9780130970152 Year: 1993 Publisher: Englewood Cliffs, N.J. Prentice Hall

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Object-oriented programming (Computer science) --- Computer software --- Case studies. --- Development --- -Computer software --- -681.3*D21 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Software, Computer --- Computer systems --- Development&delete& --- Case studies --- Programming --- Object-oriented programming (Computer science) - Case studies --- Computer software - Development - Case studies

Programming methodology : 4th informatik symposium, IBM Germany Wildbad, September 25-27, 1974
Authors: Hackl, Clemens E. --- IBM Germany
ISBN: 3540071318 3540374019 9783540071310 Year: 1975 Volume: 23 Publisher: Berlin Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- 681.3*A0 --- 681.3*D10 --- 681.3*D20 --- 681.3*D21 --- General --- Computerwetenschap--?*D10 --- Computerwetenschap--?*D20 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*A0 General --- Computer science. --- Computer Science, general. --- Informatics --- Science

Software tools and techniques for electronic engineers
Author: Jobes, Keith
ISBN: 0077077202 Year: 1994 Publisher: London McGraw-Hill

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Electronics --- Software engineering --- Génie logiciel --- Data processing --- -Software engineering --- 681.3*D21 --- Computer software engineering --- Engineering --- Electrical engineering --- Physical sciences --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Génie logiciel

Book

Fifth international workshop on software specification and design : proceedings : [May 19-20, 1989, Pittsburgh, Pennsylvania, USA]
Authors: International workshop on software specification and design. --- IEEE Computer Society --- Association for Computing Machinery
ISBN: 0818619422 0818659424 9780818619427 Year: 1989 Volume: 14/3 Publisher: Washington, D.C. : IEEE Computer Society Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
681.3*D21 --- 681.3*D210 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- Conferences - Meetings --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Software engineering --- Ieee --- Acm

Software development : computer-aided software engineering (case)
Author: Chikofsky, Elliot J.
ISBN: 0818619171 9780818619175 Year: 1989 Publisher: Washington (D.C.): IEEE computer society press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer-aided software engineering --- 681.3*D21 --- 681.3*D210 --- CASE (Computer science) --- Software engineering --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31}

Software development with Z: a practical approach to formal methods in software engineering
Author: Wordsworth, J.B.
ISBN: 0201627574 9780201627572 Year: 1994 Publisher: Wokingham Addison-Wesley

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Z (Computer program language) --- Computer software --- Formal methods (Computer science) --- Development --- 681.3*D21 --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Development. --- Z (Computer program language). --- Formal methods (Computer science). --- Programming --- Computer software - Development

Understanding Z : a specification language and its formal semantics
Author: Spivey, J. M.
ISBN: 0521334292 9780521334297 Year: 1988 Volume: 3 Publisher: Cambridge Cambridge University press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Z (Computer program language) --- Programming languages (Electronic computers) --- Semantics. --- -Z (Computer program language) --- Programming language semantics --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Z (Computer program language). --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Semantics --- Specification Language --- Schema --- Typed Set Theory --- Formal Specification --- Programming languages (Electronic computers) - Semantics.

Listing 1 - 10 of 197 << page
of 20
>>
Sort by