{"_id":"BPhdoJRYANowTxxbg","bibbaseid":"bchi-sekerinski-formalmethodsforcomponentsoftwaretherefinementcalculusperspective-1997","downloads":1,"creationDate":"2019-02-02T15:48:53.606Z","title":"Formal Methods for Component Software: The Refinement Calculus Perspective","author_short":["Büchi, M.","Sekerinski, E."],"year":1997,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Jyväskylä, Finland","series":"TUCS General Publication","title":"Formal Methods for Component Software: The Refinement Calculus Perspective","volume":"5","url":"https://tucs.fi/publications/view/?pub_id=bWeBoSzy97","abstract":"We exhibit the benefits of using formal methods for constructing and documenting component software. Formal specifications provide concise and complete descriptions of black-box components and, herewith, pave the way for full encapsulation. Nondeterminism in specifications permits enhancements and alternate implementations. A formally verifiable refinement relationship between specification and implementation of a component ensures compliance with the published specification. Unambiguous and complete contracts are the foundation for any component market.","booktitle":"Second Workshop on Component-Oriented Programming (WCOP)","publisher":"Turku Centre for Computer Science","author":[{"propositions":[],"lastnames":["Büchi"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Weck"],"firstnames":["Wolfgang"],"suffixes":[]},{"propositions":[],"lastnames":["Bosch"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Szyperski"],"firstnames":["Clemens"],"suffixes":[]}],"month":"September","year":"1997","pages":"23–32","bibtex":"@inproceedings{BuchiSekerinski97Components,\n\taddress = {Jyväskylä, Finland},\n\tseries = {{TUCS} {General} {Publication}},\n\ttitle = {Formal {Methods} for {Component} {Software}: {The} {Refinement} {Calculus} {Perspective}},\n\tvolume = {5},\n\turl = {https://tucs.fi/publications/view/?pub_id=bWeBoSzy97},\n\tabstract = {We exhibit the benefits of using formal methods for constructing and documenting component software. Formal specifications provide concise and complete descriptions of black-box components and, herewith, pave the way for full encapsulation. Nondeterminism in specifications permits enhancements and alternate implementations. A formally verifiable refinement relationship between specification and implementation of a component ensures compliance with the published specification. Unambiguous and complete contracts are the foundation for any component market.},\n\tbooktitle = {Second {Workshop} on {Component}-{Oriented} {Programming} ({WCOP})},\n\tpublisher = {Turku Centre for Computer Science},\n\tauthor = {Büchi, Martin and Sekerinski, Emil},\n\teditor = {Weck, Wolfgang and Bosch, Jan and Szyperski, Clemens},\n\tmonth = sep,\n\tyear = {1997},\n\tpages = {23--32},\n}\n\n","author_short":["Büchi, M.","Sekerinski, E."],"editor_short":["Weck, W.","Bosch, J.","Szyperski, C."],"key":"BuchiSekerinski97Components","id":"BuchiSekerinski97Components","bibbaseid":"bchi-sekerinski-formalmethodsforcomponentsoftwaretherefinementcalculusperspective-1997","role":"author","urls":{"Paper":"https://tucs.fi/publications/view/?pub_id=bWeBoSzy97"},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["formal","methods","component","software","refinement","calculus","perspective","büchi","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}