@inproceedings{LiangSekerinski04IntegratingSpecificationDocumentation,
	address = {Newport Beach, California, USA},
	series = {Workshop of {SIGSOFT} 2004/{FSE}-12, 12th {ACM} {SIGSOFT} {Symposium} on the {Foundations} of {Software} {Engineering}},
	title = {Integrating {Specification} and {Documentation} in an {Object}-oriented {Language}},
	url = {https://www.cs.ucf.edu/~leavens/SAVCBS/2004/savcbs04.pdf},
	abstract = {This paper reports on the integration of specification and documentation features into an object-oriented programming language and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. The language taken is Lime, an action-based concurrent object-oriented language developed at McMaster University. The concurrency aspect of Lime is motivated by the observation that concurrency is increasingly used to improve responsiveness of programs. Concurrency in Lime is expressed by attaching actions to objects. This eliminates the conceptual distinction between objects and threads. For the theory behind this approach and an implementation scheme the reader is referred to [12].},
	booktitle = {{SAVCBS} 2004, {Specification} and {Verification} of {Component}-{Based} {Systems}},
	publisher = {Technical Report \#04-09, Department of Computer Science, Iowa State University},
	author = {Liang, Jie and Sekerinski, Emil},
	month = nov,
	year = {2004},
	pages = {126--129},
}

{"_id":"RaTLiFZgmiNEC9coC","bibbaseid":"liang-sekerinski-integratingspecificationanddocumentationinanobjectorientedlanguage-2004","author_short":["Liang, J.","Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Newport Beach, California, USA","series":"Workshop of SIGSOFT 2004/FSE-12, 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering","title":"Integrating Specification and Documentation in an Object-oriented Language","url":"https://www.cs.ucf.edu/~leavens/SAVCBS/2004/savcbs04.pdf","abstract":"This paper reports on the integration of specification and documentation features into an object-oriented programming language and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. The language taken is Lime, an action-based concurrent object-oriented language developed at McMaster University. The concurrency aspect of Lime is motivated by the observation that concurrency is increasingly used to improve responsiveness of programs. Concurrency in Lime is expressed by attaching actions to objects. This eliminates the conceptual distinction between objects and threads. For the theory behind this approach and an implementation scheme the reader is referred to [12].","booktitle":"SAVCBS 2004, Specification and Verification of Component-Based Systems","publisher":"Technical Report #04-09, Department of Computer Science, Iowa State University","author":[{"propositions":[],"lastnames":["Liang"],"firstnames":["Jie"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"November","year":"2004","pages":"126–129","bibtex":"@inproceedings{LiangSekerinski04IntegratingSpecificationDocumentation,\n\taddress = {Newport Beach, California, USA},\n\tseries = {Workshop of {SIGSOFT} 2004/{FSE}-12, 12th {ACM} {SIGSOFT} {Symposium} on the {Foundations} of {Software} {Engineering}},\n\ttitle = {Integrating {Specification} and {Documentation} in an {Object}-oriented {Language}},\n\turl = {https://www.cs.ucf.edu/~leavens/SAVCBS/2004/savcbs04.pdf},\n\tabstract = {This paper reports on the integration of specification and documentation features into an object-oriented programming language and its compiler. The goal of this integration is to improve software quality, in particular correctness, extensibility, and maintainability in a uniform and coherent manner. The language taken is Lime, an action-based concurrent object-oriented language developed at McMaster University. The concurrency aspect of Lime is motivated by the observation that concurrency is increasingly used to improve responsiveness of programs. Concurrency in Lime is expressed by attaching actions to objects. This eliminates the conceptual distinction between objects and threads. For the theory behind this approach and an implementation scheme the reader is referred to [12].},\n\tbooktitle = {{SAVCBS} 2004, {Specification} and {Verification} of {Component}-{Based} {Systems}},\n\tpublisher = {Technical Report \\#04-09, Department of Computer Science, Iowa State University},\n\tauthor = {Liang, Jie and Sekerinski, Emil},\n\tmonth = nov,\n\tyear = {2004},\n\tpages = {126--129},\n}\n\n","author_short":["Liang, J.","Sekerinski, E."],"key":"LiangSekerinski04IntegratingSpecificationDocumentation","id":"LiangSekerinski04IntegratingSpecificationDocumentation","bibbaseid":"liang-sekerinski-integratingspecificationanddocumentationinanobjectorientedlanguage-2004","role":"author","urls":{"Paper":"https://www.cs.ucf.edu/~leavens/SAVCBS/2004/savcbs04.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["integrating","specification","documentation","object","oriented","language","liang","sekerinski"],"title":"Integrating Specification and Documentation in an Object-oriented Language","year":2004,"downloads":1}