{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T17:24:57Z","timestamp":1648833897649},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T00:00:00Z","timestamp":1287619200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11334-010-0138-8","type":"journal-article","created":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T08:27:43Z","timestamp":1287563263000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["An approach for modeling a formal Use Case Type at early development phase without loosing abstraction"],"prefix":"10.1007","volume":"7","author":[{"given":"Francisco Supino","family":"Marcondes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00cdtalo Santiago","family":"Vega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz Alberto Vieira","family":"Dias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,21]]},"reference":[{"key":"138_CR1","unstructured":"Donald B (2004) UML\u2019s sequence diagram. In: IBM. http:\/\/www.ibm.com\/developerworks\/raration\/library\/3101.html . Accessed 20 Jun 2008"},{"key":"138_CR2","unstructured":"Object Management Institute (2007) OMG unified modeling language (OMG-UML). Superstructure, v2.1.2 OMG"},{"key":"138_CR3","unstructured":"Rational Software Corporation (2006) DEV470: rational rose realtime (student material)"},{"key":"138_CR4","volume-title":"Applying UML and patterns: an introduction to object-oriented analysis and design and iterative development","author":"C Larman","year":"2004","unstructured":"Larman C (2004) Applying UML and patterns: an introduction to object-oriented analysis and design and iterative development. Prentice-Hall, Englewood Cliffs"},{"key":"138_CR5","unstructured":"Dias LAV (2008) Lecture notes. Aeronautics Institute of Technology. ITA, S\u00e3o Jos\u00e9 dos Campos, SP, Brazil"},{"key":"138_CR6","volume-title":"Real time UML","author":"BP Douglass","year":"2006","unstructured":"Douglass BP (2006) Real time UML. Addison-Wesley, Boston"},{"key":"138_CR7","unstructured":"Turing AM (1936) On computable numbers, with an application to the Entscheidungs problem. Proc Lond Math Soc 42:230, 265 [ibid 43:544\u2013546 (1936)]"},{"key":"138_CR8","unstructured":"Drunsinsky D, Harel D (1994) On the power of bounded concurrency I. ACM 004-5411\/94\/0500-0517"},{"key":"138_CR9","volume-title":"UML Bible","author":"T Pender","year":"2004","unstructured":"Pender T (2004) UML Bible. Wiley, Hoboken"},{"key":"138_CR10","volume-title":"Concepts of programming languages","author":"RW Sebesta","year":"1999","unstructured":"Sebesta RW (1999) Concepts of programming languages. Addson Wesley, Boston"},{"key":"138_CR11","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston"},{"key":"138_CR12","unstructured":"Java Formal Language Application Tool (JFlap) (2007). In: JFlap. http:\/\/www.jflap.org . Accessed 24 Nov 2007"},{"key":"138_CR13","doi-asserted-by":"crossref","unstructured":"Marcondes FS, Colonese E, Vega IS (2008) Dias LAV proposing a formal method to reduce RTS logical model complexity. doi: 10.1109\/ITNG.2008.202","DOI":"10.1109\/ITNG.2008.202"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-010-0138-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-010-0138-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-010-0138-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T16:43:55Z","timestamp":1559753035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-010-0138-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,21]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["138"],"URL":"https:\/\/doi.org\/10.1007\/s11334-010-0138-8","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,21]]}}}