ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
12
views
0
references
Top references
cited by
4
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,598
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Specification by interface separation
Author(s):
Ian Hayes
,
J. K. Sanders
,
J. SANDERS
,
Michael J. Hayes
,
W Sanders
,
J.W. Sanders
Publication date:
1995
Journal:
Formal Aspects of Computing
Read this article at
ScienceOpen
Publisher
Bookmark
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Electronic Workshops in Computing (eWiC)
Author and article information
Journal
DOI::
10.1007/bf01211217
ScienceOpen disciplines:
Applied computer science
,
Computer science
,
Security & Cryptology
,
Graphics & Multimedia design
,
General computer science
,
Human-computer-interaction
Data availability:
ScienceOpen disciplines:
Applied computer science
,
Computer science
,
Security & Cryptology
,
Graphics & Multimedia design
,
General computer science
,
Human-computer-interaction
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,598
Specific decorations of 17-hydroxygeranyllinalool diterpene glycosides solve the autotoxicity problem of chemical defense in
Nicotiana attenuata
Authors:
Sven Heiling
,
Lucas Llorca
,
Jiancai Li
…
The In Situ Characterization of Membrane-Immobilized 2-D PAGE-Separated Proteins Using Ink-Jet Technology
Authors:
Patrick W. Cooley
,
Janice L. Joss
,
Femia Hopwood
…
Colossal enhancement of magnetoresistance in La\(_{0.67}\)Sr\(_{0.33}\)MnO\(_{3}\) / Pr\(_{0.67}\)Ca\(_{0.33}\)MnO\(_{3}\) multilayers: reproducing the phase-separation scenario
Authors:
I Das
,
Soumik Mukhopadhyay
See all similar
Cited by
4
Retrenchment, Refinement, and Simulation
Authors:
R Banach
,
M. Poppleton
IO-refinement in Z
Authors:
Eerke Boiten
,
John Derrick
Refining interfaces: the case of the B method
Authors:
Anamaria Moreira
,
David Déharbe
,
Bruno Gomes
See all cited by