Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal 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
Showing
221
-
240
of
410
Search:
'"formal specification"'
,
query time: 0.21s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
221
User-Centred Design of Systems
by
Noyes, Jan
,
Baber, Chris
Published 1999
Springer London
“
... to the design of systems have conventionally led to
formal
specification
of the system. The past decade or two...
”
Read Now
222
Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991
Published 1992
Springer London
“
...; there is no value of x which satisfies it. Similarly it is possible to specify objects using the
formal
...
”
Read Now
223
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Published 2013
Springer International Publishing
Table of Contents:
“
... Inference --
Formal
Specification
of an Erase Block Management Layer for Flash Memory -- Attention-Based...
”
Read Now
224
Open Distributed Systems : On Concepts, Methods, and Design from a Logical Point of View
by
Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents:
“
... of interaction points -- 4.2 A list of possible interaction point properties -- 4.3
Formal
specification
...
”
Read Now
225
FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
...A
formal
specification
of an automatic train protection system -- Adding real time to formal...
”
Read Now
226
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
... by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting
formal
...
”
Read Now
227
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... for Graph Transformation Systems --
Formal
Specification
of Trusted Execution Environment APIs -- Monitoring...
”
Read Now
228
Hybrid Systems: Computation and Control : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... -- Experiences in Designing and Using
Formal
Specification
Languages for Embedded Control Software -- Model-Based...
”
Read Now
229
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... — A classification and survey --
Formal
specification
and verification of VHDL -- Specification...
”
Read Now
230
Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
Published 2022
Springer International Publishing
“
..., such as verification and validation, software engineering,
formal
specification
and modeling, software security...
”
Read Now
231
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- Animating a non-executable
formal
specification
with a distributed symbolic language -- Uniform...
”
Read Now
232
The SECD Microprocessor : A Verification Case Study
by
Graham, Brian T.
Published 1992
Springer US
Table of Contents:
“
... Internal Architecture and Microcode -- 3.5 The Final Layout -- 3.6 Summary and Status -- 4
Formal
...
”
Read Now
233
Software Reuse: Advances in Software Reusability : 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Structuring Mechanisms for an Object-Oriented
Formal
Specification
Language -- Software Reuse...
”
Read Now
234
Collaboration between Human and Artificial Societies : Coordination and Agent-Based Distributed Computing
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...-Wide-Web -- Towards a
Formal
Specification
of Complex Social Structures in Multi-agent Systems...
”
Read Now
235
Object Technologies for Advanced Software : First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... of the SPADE repository using object-oriented technology -- Object-oriented
formal
specification
development...
”
Read Now
236
Intelligent Agents III. Agent Theories, Architectures, and Languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... through the belief-function formalism in a multi-agent environment --
Formal
specification
of beliefs...
”
Read Now
237
Foundations of Real-Time Computing: Scheduling and Resource Management
Published 1991
Springer US
“
... investigated in the arena of
formal
specification
and verification of real-time systems. Together, these two...
”
Read Now
238
Intelligent Agents: Specification, Modeling, and Application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
...Specification -- The Role of Castes in
Formal
Specification
of MAS -- A Truly Concurrent Model...
”
Read Now
239
Information Systems Security : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Violation Detection System (An Ongoing Research Report) -- Towards a
Formal
Specification
Method...
”
Read Now
240
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
by
Gamatié, Abdoulaye
Published 2010
Springer New York
7
8
9
10
11
12
13
14
15
16
17
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
204
004 - Data processing & computer science
115
006 - Special computer methods
38
621 - Applied physics
19
003 - Systems
8
620 - Engineering & allied operations
6
more ...
330 - Economics
4
670 - Manufacturing
4
000 - Computer science, information & general works
2
025 - Library operations
2
500 - Natural sciences & mathematics
2
512 - Algebra
2
518 - Numerical analysis
2
519 - Probabilities & applied mathematics
2
600 - Technology
2
629 - Other branches of engineering
2
658 - General management
2
700 - The arts; fine & decorative arts
2
100 - Philosophy & psychology
1
153 - Mental processes & intelligence
1
160 - Logic
1
370 - Education
1
410 - Linguistics
1
501 - Philosophy & theory
1
511 - General principles of mathematics
1
530 - Physics
1
570 - Life sciences; biology
1
see all ...
less ...
Language
English
401
German
2
Collection
Springer Book Archives -2004
249
Springer eBooks 2005-
141
Directory of Open Access Books
4
Lecture Notes in Computer Science
4
O'Reilly
3
IEEE Conference Proceedings
2
more ...
MIT Press eBook Archive
2
Springer Lecture Notes Archiv 1964-1996
2
International Monetary Fund
1
OAPEN
1
World Bank E-Library Archive
1
see all ...
less ...
Author
Bowen, Jonathan P.
7
Duan, Zhenhua
6
Liu, Shaoying
6
Hinchey, Michael G.
5
O'Regan, Gerard
5
Bert, Didier
4
more ...
Bowen, Jonathan P
4
Cavalcanti, Ana
4
Davies, Jim
4
Derrick, John
4
King, Steve
4
Margaria, Tiziana
4
Steffen, Bernhard
4
Strohmeier, Alfred
4
Bjørner, Dines
3
Gaudel, Marie-Claude
3
Kreowski, Hans-Jörg
3
Nivat, Maurice
3
O’Regan, Gerard
3
Schneider, Steve
3
Wing, Jeannette M.
3
Wirsing, Martin
3
Woodcook, Jim
3
Wooldridge, Michael J.
3
Aarts, Emile H.L.
2
Abramsky, S.
2
Alagar, V.S.
2
Araki, Keijiro
2
Arbab, Farhad
2
Astesiano, Egidio
2
Attali, Isabelle
2
Bergé, Jean-Michel
2
Bertran, Miquel
2
Beyer, Dirk
2
Bidoit, Michel
2
Boiten, Eerke A.
2
Boute, Raymond T.
2
Bowen, J.P.
2
Broy, Manfred
2
Budkowski, Stan
2
Börger, Egon
2
Cavalli, Ana
2
Chechik, Marsha
2
Ciancarini, Paolo
2
Craig, Iain D.
2
Diaconescu, Răzvan
2
Dimitrakos, Theo
2
Ehrig, Hartmut
2
Fett, Andreas
2
Galloway, Andy
2
Gargantini, Angelo
2
Geist, Verena
2
Graf, Susanne
2
Große-Rhode, Martin
2
Henson, Martin C.
2
Hinchey, Michael G
2
Hunt, Warren A. Jr
2
Illibauer, Christa
2
Jennings, Nicholas R.
2
Jensen, Thomas
2
Jones, Robert B.
2
Jähnichen, Stefan
2
Kopetz, Hermann
2
Kossak, Felix
2
Langmaack, Hans
2
Lano, Kevin
2
Lee, Roger
2
Legay, Axel
2
Levia, Oz
2
Maibaum, T.S.E.
2
Maibaum, Tom
2
Marik, Vladimir
2
Martinelli, Fabio
2
Miao, Huaikou
2
Müller, Jörg
2
Nicholls, J.E.
2
Orejas, Fernando
2
Owe, Olaf
2
Palanque, Philippe
2
Paterno, Fabio
2
Periyasamy, K.
2
Rash, James L.
2
Rem, Martin
2
Robinson, Ken
2
Rosu, Grigore
2
Rouillard, Jacques
2
Schmitt, Peter H.
2
Smith, Graeme
2
SpringerLink (Online service)
2
Tian, Cong
2
Till, David
2
Vanderdonckt, Jean
2
Vytopil, Jan
2
Waldén, Marina
2
Wojtkowski, W. Gregory
2
Woodcock, Jim
2
Abdallah, Ali E.
1
Abrial, Jean-Raymond
1
Agotnes, Thomas
1
Aiguier, Marc
1
see all ...
less ...
Recently Uploaded
Last Month
4
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=12&lookfor=%22formal+specification%22&type=AllFields
Send by Email
×
Loading...