{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:04:21Z","timestamp":1740096261545,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233906"},{"type":"electronic","value":"9783642233913"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23391-3_13","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T06:51:14Z","timestamp":1323672674000},"page":"178-192","source":"Crossref","is-referenced-by-count":1,"title":["Know How and Know What for Software Processes"],"prefix":"10.1007","author":[{"given":"Jan","family":"Ko\u017eusznik","sequence":"first","affiliation":[]},{"given":"Svatopluk","family":"\u0160tolfa","sequence":"additional","affiliation":[]},{"given":"Marie","family":"Du\u017e\u00ed","sequence":"additional","affiliation":[]},{"given":"Michal","family":"Ko\u0161in\u00e1r","sequence":"additional","affiliation":[]},{"given":"Martina","family":"\u010c\u00edhalov\u00e1","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"A Discipline for Software Engineering","author":"W.S. Humphrey","year":"1995","unstructured":"Humphrey, W.S.: A Discipline for Software Engineering. Addison-Wesley Professional, Reading (1995)"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MC.2002.993773","volume":"35","author":"R.H. Thayer","year":"2002","unstructured":"Thayer, R.H.: Software System Engineering: A Tutorial. Computer\u00a035(4), 68\u201373 (2002), doi:10.1109\/mc.2002.993773","journal-title":"Computer"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Makinen, T., Varkoi, T.: Assessment driven process modeling for software process improvement. In: International Conference on Management of Engineering & Technology, PICMET 2008, Portland, July 27-31, pp. 1570\u20131575 (2008)","DOI":"10.1109\/PICMET.2008.4599774"},{"key":"13_CR4","unstructured":"Software Engineering Institute: CMMI staged-version 1.1. (2002)"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/64.43270","volume":"4","author":"P.K. Garg","year":"1989","unstructured":"Garg, P.K., Scacchi, W.: ISHYS: Designing an Intelligent Software Hypertext System. IEEE Expert: Intelligent Systems and Their Applications\u00a04(3), 52\u201363 (1989)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1109\/69.60792","volume":"2","author":"P. Mi","year":"1990","unstructured":"Mi, P., Scacchi, W.: A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes. IEEE Trans. on Knowl. and Data Eng.\u00a02(3), 283\u2013294 (1990), doi:10.1109\/69.60792","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"issue":"4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0167-9236(96)00007-3","volume":"17","author":"P. Mi","year":"1996","unstructured":"Mi, P., Scacchi, W.: A meta-model for formulating knowledge-based models of software development. Decis. Support. Syst.\u00a017(4), 313\u2013330 (1996), http:\/\/dx.doi.org\/ , doi:10.1016\/0167-9236(96)00007-3","journal-title":"Decis. Support. Syst."},{"key":"13_CR8","unstructured":"Raffo, D.M.: Modeling software processes quantitatively and assessing the impact of potential process changes on process performance. Ph.D. thesis, Carnegie Mellon University (1996)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Madachy, R.J.: Software Process Dynamics, 2nd edn. Wiley-IEEE Press (2008)","DOI":"10.1002\/9780470192719"},{"issue":"2-3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0164-1212(99)00011-4","volume":"46","author":"W. Scacchi","year":"1999","unstructured":"Scacchi, W.: Experience with software process simulation and modeling. J. Syst. Softw.\u00a046(2-3), 183\u2013192 (1999)","journal-title":"J. Syst. Softw."},{"key":"13_CR11","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Mi, P., Scacchi, W.: Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures. In: Proceedings of Eighth Knowledge-Based Software Engineering Conference, pp. 77\u201384 (1993)","DOI":"10.1109\/KBSE.1993.341195"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Garg, P.K., Mi, P.W., Thuan, P., Scacchi, W., Thunquest, G.: The Smart Approach for Software Process Engineering. In: Proc. Int. Conf. Softw., pp. 341\u2013350 (1994)","DOI":"10.1109\/ICSE.1994.296796"},{"key":"13_CR14","unstructured":"Workflow Management Coalition: Terminology & Glossary (1999)"},{"key":"13_CR15","volume-title":"Knowledge Representation and Reasoning","author":"R. Brachman","year":"2004","unstructured":"Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (2004)"},{"key":"13_CR16","volume-title":"RASLAN 2008","author":"T. Frydrych","year":"2008","unstructured":"Frydrych, T., Kohut, O., Ko\u0161in\u00e1r, M.: Transparent Intensional Logic in Knowledge Based Multiagent Systems. In: Sojka, P., Hor\u00e1k, A. (eds.) RASLAN 2008. Masaryk University, Brno (2008)"},{"key":"13_CR17","first-page":"166","volume-title":"Information Modelling and Knowledge Bases XX","author":"N. Ciprich","year":"2009","unstructured":"Ciprich, N., Du\u017e\u00ed, M., Ko\u0161in\u00e1r, M.: The TIL-Script Language. In: Kiyoki, Y., Tokuda, T., Jaakola, H., Chen, X., Yoshida, N. (eds.) Information Modelling and Knowledge Bases XX, pp. 166\u2013179. IOS Press, Amsterdam (2009)"},{"key":"13_CR18","first-page":"37","volume-title":"RASLAN 2007","author":"N. Ciprich","year":"2007","unstructured":"Ciprich, N., Du\u017e\u00ed, M., Ko\u0161in\u00e1r, M.: TIL-Script: Functional Programming Based on Transparent Intensional Logic. In: Sojka, P., Hor\u00e1k, A. (eds.) RASLAN 2007, pp. 37\u201342. Masaryk University, Brno (2007)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Noy, N.F., Sintek, M., Decker, S., Crub\u00e9zy, M., Fergerson R.W., Musen M.A.: Creating Semantic Web Contents with Prot\u00e9g\u00e9-2000, vol. 16 (2001)","DOI":"10.1109\/5254.920601"},{"key":"13_CR20","volume-title":"The Rational Unified Process: An Introduction","author":"P. Kruchten","year":"2003","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley Professional, Reading (2003)"},{"key":"13_CR21","unstructured":"Karko\u0161ka, T.: Vytvo\u0159en\u00ed n\u00e1stroje pro podporu tvorby ontologi\u00ed v multi-agentn\u00edm prost\u0159ed\u00ed. Master thesis, V\u0160B-TUO, Ostrava, Czech Republic (2008)"},{"key":"13_CR22","unstructured":"Jezek, D., Vondrak, I.: HDA and resources modeling in business process. In: Baake, U.F., Herbst, J., VanLandeghem, R. (eds.) 11th European Concurrent Engineering Conference 2004 - Worldwide Partnerships and Mergers, pp. 27\u201329 (2004)"},{"key":"13_CR23","unstructured":"W3C: OWL 2 Web Ontology Language (2009), http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23391-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T15:57:31Z","timestamp":1561046251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23391-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233906","9783642233913"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23391-3_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}