{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:50Z","timestamp":1725516530863},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_48","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"448-459","source":"Crossref","is-referenced-by-count":2,"title":["From the How to the What"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Game-Based Model Checking for Reliable Autonomy in Space, JACIC. Journ. of Aerospace Computing, Information, and Communication (Publ. by AIAA, American Institute of Aeronautics and Astronautics) (to appear)"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45139-0_7","volume-title":"Model Checking Software","author":"T. Ball","year":"2001","unstructured":"Ball, T., Rajamani, S.: Automatically Validating Temporal Safety Properties of Interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 103\u2013122. Springer, Heidelberg (2001)"},{"key":"48_CR3","unstructured":"Ball, T., Rajamani, S.: Debugging System Software via Static Analysis. In: POPL 2002, pp. 1\u20133 (January, 2002)"},{"key":"48_CR4","unstructured":"Hinchey, M., Margaria, T., Rash, J., Rouff, C., Steffen, B.: Enhanced Requirements-Based Programming for Embedded Systems Design. In: Proc. MBEES 2006, Dagstuhl Workshop Modellbasierte Entwicklung eingebetteter Systeme II, January 2006, Tech. Rep. TU-Braunschweig 2006-01, pp. 43\u201352 (2006)"},{"key":"48_CR5","unstructured":"H\u00f6rmann, M., Margaria, T., Mender, T., Nagel, R., Schuster, M., Steffen, B., Trinh, H.: The jABC Appraoch to Collaborative Development of Embedded Applications. In: Proc. CCE 2006, Int. Workshop on Challenges in Collaborative Engineering \u2013 State of the Art and Future Challenges on collaborative Design, Prag (CZ), April 19-20, 2006 (2006) (Industry day)"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hardware and Software, Verification and Testing","author":"S. J\u00f6rges","year":"2007","unstructured":"J\u00f6rges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, Springer, Heidelberg (2007)"},{"key":"48_CR7","volume-title":"Proc. EASe 2007, IEEE Conf. on Engineering of Autonomic and Autonomous Systems - Special Session on Autonomous and Autonomic Space Exploration Systems","author":"S. J\u00f6rges","year":"2007","unstructured":"J\u00f6rges, S., Kubczak, C., Pageau, F., Margaria, T.: Model Driven Design of Reliable Robot Control Programs Using the jABC. In: Proc. EASe 2007, IEEE Conf. on Engineering of Autonomic and Autonomous Systems - Special Session on Autonomous and Autonomic Space Exploration Systems, Loyola College, Baltimore, MD, USA, March 2007, IEEE CS Press, Los Alamitos (2007)"},{"key":"48_CR8","unstructured":"Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005, 1st Int\u2019l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15, 2005 (2005) (final version appears in ENTCS)"},{"key":"48_CR9","first-page":"308","volume-title":"Proc. ISoLA - 2nd IEEE Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus","author":"C. Kubczak","year":"2006","unstructured":"Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological LC\/MS Preprocessing and Analysis with jABC, jETI and xcms. In: Proc. ISoLA - 2nd IEEE Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, November 2006, pp. 308\u2013313. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: GeneFisher-P: Variations of GeneFisher as Processes in Bio-jETI. In: P. N. (ed.) Proc. NETTAB 2007, A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, Pisa (Italy) (June 2007, to appear)","DOI":"10.1186\/1471-2105-9-S4-S13"},{"key":"48_CR11","unstructured":"Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst f\u00fcr wissenschaftliche Begutachtungs- prozesse. In: Proc. GI-VOI-BITKOM- OCG- TeleTrusT Konferenz on Elektronische Gesch\u00e4ftsprozesse (eBusi- ness Processes), Universit\u00e4t Klagenfurt (September, 2001), http:\/\/syssec.uni-klu.ac.at\/EBP2001\/"},{"key":"48_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Components, Features, and Agents, PostWorkshop Proceedings of the Dagstuhl Seminar on Objects, Agents and Features","author":"T. Margaria","year":"2003","unstructured":"Margaria, T.: Components, Features, and Agents in the ABC. In: Ehrich, H.-D., Meyer, J.-J., Ryan, M. (eds.) Components, Features, and Agents, PostWorkshop Proceedings of the Dagstuhl Seminar on Objects, Agents and Features. LNCS, Springer, Heidelberg (2003)"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Margaria, T., Hinchey, M., Raffelt, H., Rash, J.L., Rouff, C.A., Steffen, B.: Completing and Adapting Models of Biological Processes. In: Proc. of IFIP Conf. on Biologically Inspired Cooperative Computing (BiCC 2006), Santiago, (Chile) (2006)","DOI":"10.1007\/978-0-387-34733-2_5"},{"key":"48_CR14","first-page":"169","volume-title":"Proc. ICECCS 2006 - 11th IEEE Int. Conf. on Engineering of Complex Computer Systems","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Proc. ICECCS 2006 - 11th IEEE Int. Conf. on Engineering of Complex Computer Systems, Stanford University, CA (USA), August 2006, pp. 169\u2013176. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"48_CR15","first-page":"497","volume-title":"2nd IFIP Conference on e- commerce, e-business, e-government (I3E 2002), Lisboa (P), in Towards the Knowledge Society - eCommerce, eBusiness and eGovernment","author":"T. Margaria","year":"2002","unstructured":"Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conference on e- commerce, e-business, e-government (I3E 2002), Lisboa (P), in Towards the Knowledge Society - eCommerce, eBusiness and eGovernment, October 7-9, 2002, pp. 497\u2013511. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"48_CR16","volume-title":"Proc. IEEE European Test Workshop, Corfu (GR)","author":"T. Margaria","year":"2002","unstructured":"Margaria, T., Niese, O., Steffen, B., Erochok, A.: System Level Testing of Virtual Switch (Re-)Configuration over IP. In: Proc. IEEE European Test Workshop, Corfu (GR), May 2002, IEEE Society Press, Los Alamitos (2002)"},{"key":"48_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"T. Margaria","year":"1999","unstructured":"Margaria, T., Steffen, B.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"48_CR18","volume-title":"Proc. SEW-29, 29th Annual IEEE\/NASA Software Engineering Workshop","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B.: Second-Order Semantic Web. In: Proc. SEW-29, 29th Annual IEEE\/NASA Software Engineering Workshop, Greenbelt, (USA), April 2005, IEEE Computer Soc., Los Alamitos (2005)"},{"key":"48_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Margaria","year":"1998","unstructured":"Margaria, T., Steffen, B.: Backtracking-free Design Planning by Automatic Synthesis in METAFrame. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 188\u2013204. Springer, Heidelberg (1998)"},{"key":"48_CR20","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Int. Journal on Software Tools for Technology Transfer (to appear, 2003)","DOI":"10.1007\/s10009-003-0119-4"},{"key":"48_CR21","unstructured":"Margaria, T., Steffen, B.: Aggressive Model Driven Development of Broadband Applications. invited contribution for the book: Delivering Broadband Applications: A Comprehensive Report, IEC, Int. Engineering Consortium, Chicago (USA) (2004)"},{"key":"48_CR22","unstructured":"Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer, issue for the 60th anniversary of the Computer Society, 53\u201363 (2006) (issue for the 60th anniversary of the Computer Society)"},{"key":"48_CR23","unstructured":"Margaria, T., Winkler, C., Kubczak, C., Steffen, B., Brambilla, M., Ceri, S., Cerizza, D., Della Valle, E., Facca, F., Tziviskou, C.: The SWS Mediator with WebML\/Webratio and jABC\/jETI: A Comparison. In: Proc. ICEIS 2007, 9th Int. Conf. on Enterprise Information Sys-tems, Funchal (P) (June 2007)"},{"key":"48_CR24","unstructured":"Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication. In: Int. Engineering Consortium Chicago (USA), vol.\u00a054, pp. 927\u2013936, IEC (2001)"},{"key":"48_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-46017-9_23","volume-title":"Model Checking Software","author":"O. Niese","year":"2002","unstructured":"Niese, O., Margaria, T., Steffen, B.: Demonstration of an Automated Integrated Test Environment for Web-based Applications. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, pp. 250\u2013253. Springer, Heidelberg (2002)"},{"key":"48_CR26","unstructured":"Semantic Web Service Challenge Website (2007), http:\/\/sws-challenge.org"},{"key":"48_CR27","doi-asserted-by":"crossref","unstructured":"Wagner, C., Margaria, T., Pagendarm, H.-G.: Comparative Analysis of Tools for automated Software Re-Engineering purposes. In: Proceedings of IEEE-ISoLA 2006 and WWV 2006, Paphos, Cyprus, pp. 446\u2013452 (November, 2006)","DOI":"10.1109\/ISoLA.2006.67"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T17:52:06Z","timestamp":1631641926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}