{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:35Z","timestamp":1725494975315},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423027"},{"type":"electronic","value":"9783540477280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47728-4_52","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:39:45Z","timestamp":1194986385000},"page":"530-539","source":"Crossref","is-referenced-by-count":0,"title":["Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java"],"prefix":"10.1007","author":[{"given":"Keum-Young","family":"Sung","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"52_CR1","unstructured":"B. Cohen, W. T. Harwood, M. I. Jackson: The Specification of Complex Systems, Addison-Wesley Publishing Company (1986)"},{"key":"52_CR2","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1109\/TSE.1982.235737","volume":"8","author":"M. S. Feather","year":"1982","unstructured":"M. S. Feather: Program specification applied to a text formatter, IEEE Trans. Software Eng., Vol SE-8, No. 9, September (1982) 490\u2013498","journal-title":"IEEE Trans. Software Eng"},{"key":"52_CR3","unstructured":"B. H. Liskov, V. Berzins: An appraisal of program specifications, Research Directions in Software Technology, P. Wegner (edn.), MIT Press, (1979) 276\u2013301"},{"key":"52_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"B. W. Boehm","year":"1984","unstructured":"B. W. Boehm: Verifying and validating software requirements and design specification, IEEE Software, Vol 1, No. 1, January (1984) 75\u201388","journal-title":"IEEE Software"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"A. W. Appel: Modern Compiler Implementation in Java, Cambridge University Press (1998)","DOI":"10.1017\/CBO9781139174930"},{"key":"52_CR6","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian, A. K. Mok: Safety analysis of timing properties in real-time systems, IEEE Trans. Software Eng., Vol. SE-12, No. 9, September (1986) 890\u2013904","journal-title":"IEEE Trans. Software Eng"},{"key":"52_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy: Timing constraints of real-time systems: Constructs for expressing them, methods of validating them, IEEE Trans. Software Eng., Vol. SE-11, No. 1, January (1985) 80\u201386","journal-title":"IEEE Trans. Software Eng"},{"key":"52_CR8","unstructured":"C. Ghezzi, D. Mandrioli: On eclecticism in specifications: A case study centered around Petri nets, in Proceedings of the 4th International Workshop on Software Specification and Design, IEEE Computer Society Press, April 3-4 (1987) 216\u2013224"},{"key":"52_CR9","first-page":"155","volume":"17","author":"J. A. Stankovic","year":"1992","unstructured":"J. A. Stankovic: Real-time computing, Byte, Vol. 17, No. 8, August (1992) 155\u2013160","journal-title":"Byte"},{"key":"52_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/2.76288","volume":"24","author":"K. B. Kenny","year":"1991","unstructured":"K. B. Kenny, K.-J. L in: Building flexible real-time systems using the Flex language, Computer, Vol. 24, No. 5, May (1991) 70\u201378","journal-title":"Computer"},{"key":"52_CR11","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"12","author":"E. Kligerman","year":"1986","unstructured":"E. Kligerman, A. D. Stoyenko: Real-time Euclid: A language for reliable realtime systems, IEEE Trans. Software Eng., Vol. SE-12, No. 9, September (1986)941\u2013949","journal-title":"IEEE Trans. Software Eng"},{"key":"52_CR12","unstructured":"G. Bollella, K. Russell: JSR#000001 Real-time specification for Java, http:\/\/java.sun.com\/aboutJava\/communityprocess\/jsr\/jsr_001_real_time.htm (2000)"},{"key":"52_CR13","unstructured":"C. Horstmann, G. Cornell: Core Java 1.2 Volume 1-Fundamentals, The Sun Microsystems Press (1999)"},{"key":"52_CR14","unstructured":"D. Hardin: The Rockwell JEM Microprocessor Family: An Efficient Platform for Real-Time Embedded Java, http:\/\/www.ajile.com\/people\/hardin\/writings \/jemplrtia-1998.html (1998)"},{"key":"52_CR15","first-page":"79","volume":"21","author":"P. Wagner","year":"1996","unstructured":"P. Wagner: Sun Gambles on Java Chips, Byte, Vol. 21, No. 11, November (1996)79\u201388","journal-title":"Byte"},{"key":"52_CR16","unstructured":"D. Hardin: The Real-Time Specification for Java, Dr. Dobb\u2019s Journal, February (2000)"},{"key":"52_CR17","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MC.1999.769437","volume":"32","author":"S. Ortiz Jr.","year":"1999","unstructured":"S. Ortiz Jr.: The Battle over Real-Time Java, Computer, Vol. 32, No. 6 (1999) 13\u201315","journal-title":"Computer"},{"key":"52_CR18","doi-asserted-by":"crossref","unstructured":"J. F. Allen: Maintaining Knowledge about Temporal Intervals, Communication of the ACM, Vol. 26, No. 11, November (1983)","DOI":"10.1145\/182.358434"}],"container-title":["Lecture Notes in Computer Science","Networking \u2014 ICN 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47728-4_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T23:09:01Z","timestamp":1588028941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47728-4_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423027","9783540477280"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-47728-4_52","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}