Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "specification"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
Showing
1
-
20
of
4,025
Search:
'"specification"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Programming with
Specifications
: An Introduction to ANNA, A Language for Specifying Ada Programs
by
Luckham, David
Published 1990
Springer New York
Table of Contents:
“
... -- 0.3 Applying Anna -- 0.4 Environments for Programming with
Specifications
-- 0.5 Future Developments...
”
Read Now
2
Formal
Specification
: Techniques and Applications
by
Nissanke, Nimal
Published 1999
Springer London
Table of Contents:
“
... -- 12. Algebraic
Specification
in CLEAR -- 12.1 Data Types and Systems -- 12.2 Views of
Specifications
...
”
Read Now
3
Specification
by example : how successful teams deliver the right software
by
Adzic, Gojko
Published 2011
Manning
“
...
Specification
by Example is a must read for anyone serious about delivering software that matters...
”
Call Number:
QA76.76.D47
Read Now
4
Logics of
Specification
Languages
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... — the Common Algebraic
Specification
Language -- Duration Calculus -- The Logic of the RAISE
Specification
...
”
Read Now
5
Semantics and Algebraic
Specification
: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Operational Semantics for Weighted Transition Systems -- On the
Specification
and Verification of Model...
”
Read Now
6
Domain-
Specific
Languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Traversals in C++ -- Unit Testing for Domain-
Specific
Languages -- Combining DSLs and Ontologies Using...
”
Read Now
7
Compiler
Specification
and Verification
by
Polak, W.
Published 1981
Springer Berlin Heidelberg
Read Now
8
Specification
of Software Systems
by
Alagar, V.S.
,
Periyasamy, K.
Published 2011
Springer London
Table of Contents:
“
...Part I:
Specification
Fundamentals -- The Role of
Specification
--
Specification
Activities...
”
Read Now
9
Temporal Logic in
Specification
: Altrincham, UK, April 8-10, 1987, Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... -- On the relation of programs and computations to models of temporal logic --
Specification
and verification...
”
Read Now
10
Domain-
specific
languages
by
Fowler, Martin
Published 2011
Addison-Wesley
Subjects:
“
...Domain-
specific
programming languages / fast...
”
Call Number:
QA76.7
Read Now
11
Executable
specifications
with Scrum : a practical guide to Agile requirements discovery
by
Cardinal, Mario
Published 2013
Addison-Wesley
Call Number:
QA76.76.D47
Read Now
12
Specification
of Software Systems
by
Alagar, V.S.
,
Periyasamy, K.
Published 1998
Springer New York
Table of Contents:
“
...1 The Role of
Specification
-- 2
Specification
Activities -- 3
Specification
Qualities -- 4...
”
Read Now
13
Software
Specification
Methods : An Overview Using a Case Study
Published 2001
Springer London
Table of Contents:
“
...I State-Based Approaches -- 1 Z: A Formal
Specification
Notation -- 2 SAZ: SSADM Version 4 and Z...
”
Read Now
14
Specifications
of Database Systems : International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991
Published 1992
Springer London
Table of Contents:
“
...-Oriented Query Language Definition -- Reasoning about a Modular Model-Oriented Formal
Specification
...
”
Read Now
15
Abstract Software
Specifications
: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
... for describing program behaviour -- The semantics of clear, a
specification
language -- An example...
”
Read Now
16
Specification
and Transformation of Programs : A Formal Approach to Software Development
by
Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...5. From Descriptive
Specifications
to Operational Ones -- 5.1 Transforming
Specifications
-- 5.2...
”
Read Now
17
The Java language
specification
: Java SE 7 edition
by
Gosling, James
Published 2013
Addison-Wesley
Call Number:
QA76.73.J38
Read Now
18
The Java language
specification
: Java SE 8 edition
by
Gosling, James
Published 2014
Addison-Wesley
Call Number:
QA76.73.J38
Read Now
19
Domain-
Specific
Languages : Effective Modeling, Automation, and Reuse
by
Wąsowski, Andrzej
,
Berger, Thorsten
Published 2023
Springer International Publishing
Read Now
20
The Java virtual machine
specification
by
Lindholm, Tim
Published 2013
Addison-Wesley
Call Number:
QA76.73.J38
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
500 - Natural sciences & mathematics
297
331 - Labor economics
260
658 - General management
238
620 - Engineering & allied operations
235
004 - Data processing & computer science
127
more ...
003 - Systems
107
745 - Decorative arts
84
330 - Economics
64
384 - Communications; telecommunication
57
374 - Adult education
47
381 - Commerce
21
364 - Criminology
15
338 - Production
13
519 - Probabilities & applied mathematics
11
600 - Technology
11
300 - Social sciences
10
001 - Knowledge
8
332 - Financial economics
6
006 - Special computer methods
5
302 - Social interaction
3
323 - Civil & political rights
3
368 - Insurance
3
650 - Management & auxiliary services
3
011 - Bibliographies
2
158 - Applied psychology
2
670 - Manufacturing
2
153 - Mental processes & intelligence
1
510 - Mathematics
1
629 - Other branches of engineering
1
651 - Office services
1
700 - The arts; fine & decorative arts
1
see all ...
less ...
Language
English
4,000
German
16
Undetermined
6
Japanese
2
Polish
1
Collection
O'Reilly
1,634
Springer eBooks 2005-
1,588
Springer Book Archives -2004
786
MIT Press eBook Archive
8
Cambridge Books Online
3
Elsevier ScienceDirect eBooks
3
more ...
JSTOR Open Access Books
2
DeGruyter MPG Collection
1
see all ...
less ...
Author
Margaria, Tiziana
18
Steffen, Bernhard
18
Broy, Manfred
13
Hammoudi, Slimane
13
Assemble You Limited
12
Filipe, Joaquim
12
more ...
Mark, David
12
Bonsangue, Marcello M.
11
Bowen, Jonathan P.
11
Kuhn, Darl
11
Jajodia, Sushil
10
Bell, Charles
9
Liu, Shaoying
9
Mailund, Thomas
9
Wirsing, Martin
9
Ehrig, Hartmut
8
Freeman, Adam
8
Jelen, Bill
8
Keith, Mike
8
LaMarche, Jeff
8
Meyer, Bertrand
8
Nutting, Jack
8
Olsson, Fredrik
8
Orejas, Fernando
8
Packt Publishing
8
Schincariol, Merrick
8
Thalheim, Bernhard
8
Bellatreche, Ladjel
7
Graf, Susanne
7
Horton, Ivor
7
Maciaszek, Leszek A.
7
Nardone, Massimo
7
Padfield, Bill
7
Palanque, Philippe
7
Reussner, Ralf H.
7
Spaccapietra, Stefano
7
Vanderdonckt, Jean
7
de Boer, Frank S.
7
Śmiałek, Michał
7
Alexander, Michael
6
Aspin, Adam
6
Atzeni, Paolo
6
Beckert, Bernhard
6
Bosch, Jan
6
Bouguettaya, Athman
6
Duan, Zhenhua
6
Guizzardi, Giancarlo
6
Havelund, Klaus
6
Hinchey, Michael G.
6
Leonard, Anghel
6
Montanari, Ugo
6
Nesteruk, Dmitri
6
Nurcan, Selmin
6
Olsson, Mikael
6
Pastor, Oscar
6
Romanovsky, Alexander
6
Shishkov, Boris
6
Stirna, Janis
6
de Roever, Willem-Paul
6
Arbab, Farhad
5
Bernhaupt, Regina
5
Bjørner, Dines
5
Brodsky, Alexander
5
Cavalcanti, Ana
5
Crnkovic, Ivica
5
Gollmann, Dieter
5
Hanus, Michael
5
Hähnle, Reiner
5
Juneau, Josh
5
Koutny, Maciej
5
Liu, Zhiming
5
MacDonald, Matthew
5
McFedries, Paul
5
Moreira, Ana
5
Mueller, John
5
Müller, Peter
5
Novikov, Boris
5
O'Regan, Gerard
5
Oakley, Jacob G.
5
Redmill, Felix
5
Rolland, Colette
5
Rozenberg, Grzegorz
5
Schewe, Klaus-Dieter
5
Stafford, Judith A.
5
Topley, Kim
5
Wang, Cliff
5
Woodcock, Jim
5
Zdravkovic, Jelena
5
Ahrendt, Wolfgang
4
Alapati, Sam R.
4
Anderson, Tom
4
Araki, Keijiro
4
Ashley, W. David
4
Astesiano, Egidio
4
Aveiro, David
4
Bailliekova, Anna
4
Bertino, Elisa
4
Bruel, Jean-Michel
4
Bussler, Christoph
4
Butler, Michael
4
see all ...
less ...
Recently Uploaded
Last Month
8
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=%22specification%22&type=AllFields
Send by Email
×
Loading...