Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: free extension x
Clear All Modify Search

View:

Algebraic specification of abstract data types

J. Loeckx and H.-D. Ehrich

in Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Published in print:
2001
Published Online:
November 2020
ISBN:
9780198537816
eISBN:
9780191916663
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198537816.003.0004
Subject:
Computer Science, Computer Architecture and Logic Design

It is widely accepted that the quality of software can be improved if its design is systematically based on the principles of modularization and formalization. Modularization consists in replacing ... More


CASE STUDY OF STATIC SIMULATION

Vasily Bulatov and Wei Cai

in Computer Simulations of Dislocations

Published in print:
2006
Published Online:
November 2020
ISBN:
9780198526148
eISBN:
9780191916618
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198526148.003.0007
Subject:
Computer Science, Software Engineering

Having discussed the basic concepts of atomistic simulations, we now turn to a case study that demonstrates the use of the static simulation techniques and, along the way, reveals some of the ... More


View: