Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. Shin Young, J., MacDonald, J., Shilman, M., Tabbara, A., Hilfinger, P. N., & Richard Newton, A. In Proceedings of Design Automation Conference (DAC), pages 70-75, 1998.

Paper bibtex

@inproceedings{ dblp3345951,
  title = {Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement},
  author = {James Shin Young and Josh MacDonald and Michael Shilman and Abdallah Tabbara and Paul N. Hilfinger and A. Richard Newton},
  author_short = {Shin Young, J. and MacDonald, J. and Shilman, M. and Tabbara, A. and Hilfinger, P. N. and Richard Newton, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1998},
  key = {dblp3345951},
  id = {dblp3345951},
  biburl = {http://www.dblp.org/rec/bibtex/conf/dac/YoungMSTHN98},
  url = {http://doi.acm.org/10.1145/277044.277058},
  conference = {DAC},
  pages = {70-75},
  text = {DAC 1998:70-75},
  booktitle = {Proceedings of Design Automation Conference (DAC)}
}

Downloads: 0

{"_id":{"_str":"526a7e0d7e98fada74001743"},"__v":0,"authorIDs":[],"author_short":["Shin Young, J.","MacDonald, J.","Shilman, M.","Tabbara, A.","Hilfinger, P. N.","Richard Newton, A."],"bibbaseid":"shinyoung-macdonald-shilman-tabbara-hilfinger-richardnewton-designandspecificationofembeddedsystemsinjavausingsuccessiveformalrefinement-1998","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n\n\t<a name=\"dblp3345951\"> </a>Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.\n\t\nShin Young, J.; MacDonald, J.; Shilman, M.; Tabbara, A.; Hilfinger, P. N.; and Richard Newton, A.\n\t\n\n\n\n\nIn\nProceedings of Design Automation Conference (DAC), page 70-75, 1998.\n\n\n\n\n\n \n\n\n \n \n \n \n\n <a href=\"http://doi.acm.org/10.1145/277044.277058\"\n onclick=\"javascript:log_download('shinyoung-macdonald-shilman-tabbara-hilfinger-richardnewton-designandspecificationofembeddedsystemsinjavausingsuccessiveformalrefinement-1998', 'http://doi.acm.org/10.1145/277044.277058')\">\n <img src=\"http://www.bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement [.277058]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" >Paper</a> \n \n \n <a href=\"javascript:showBib('dblp3345951')\">\n <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\">Bibtex</a>\n \n   \n\n \n \n  \n \n \n\n \n \n\n\n\n\n</div>\n","downloads":0,"bibbaseid":"shinyoung-macdonald-shilman-tabbara-hilfinger-richardnewton-designandspecificationofembeddedsystemsinjavausingsuccessiveformalrefinement-1998","urls":{"Paper":"http://doi.acm.org/10.1145/277044.277058"},"role":"author","bibtex":"@inproceedings{ dblp3345951,\n title = {Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement},\n author = {James Shin Young and Josh MacDonald and Michael Shilman and Abdallah Tabbara and Paul N. Hilfinger and A. Richard Newton},\n author_short = {Shin Young, J. and MacDonald, J. and Shilman, M. and Tabbara, A. and Hilfinger, P. N. and Richard Newton, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp3345951},\n id = {dblp3345951},\n biburl = {http://www.dblp.org/rec/bibtex/conf/dac/YoungMSTHN98},\n url = {http://doi.acm.org/10.1145/277044.277058},\n conference = {DAC},\n pages = {70-75},\n text = {DAC 1998:70-75},\n booktitle = {Proceedings of Design Automation Conference (DAC)}\n}","booktitle":"Proceedings of Design Automation Conference (DAC)","text":"DAC 1998:70-75","pages":"70-75","conference":"DAC","url":"http://doi.acm.org/10.1145/277044.277058","biburl":"http://www.dblp.org/rec/bibtex/conf/dac/YoungMSTHN98","id":"dblp3345951","key":"dblp3345951","year":"1998","type":"inproceedings","bibtype":"inproceedings","author_short":["Shin Young, J.","MacDonald, J.","Shilman, M.","Tabbara, A.","Hilfinger, P. N.","Richard Newton, A."],"author":["James Shin Young","Josh MacDonald","Michael Shilman","Abdallah Tabbara","Paul N. Hilfinger","A. Richard Newton"],"title":"Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/dac/YoungMSTHN98","downloads":0,"search_terms":["design","specification","embedded","systems","java","using","successive","formal","refinement","shin young","macdonald","shilman","tabbara","hilfinger","richard newton"],"title":"Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement","year":1998,"dataSources":["dmYXbyYNSxCcahfso"]}