Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Collaboration vs. choreography conformance in BPMN. (English) Zbl 07269254 Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{F. Corradini} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020; Zbl 07269254) Full Text: Link arXiv
van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil Executable component-based semantics. (English) Zbl 1417.68095 J. Log. Algebr. Methods Program. 103, 184-212 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{L. T. van Binsbergen} et al., J. Log. Algebr. Methods Program. 103, 184--212 (2019; Zbl 1417.68095) Full Text: DOI
Gokbay, I. Z.; Karaman, S.; Yarman, S.; Yarman, B. S. An intelligent decision support tool for early diagnosis of functional pituitary adenomas. (English) Zbl 1353.62119 TWMS J. Appl. Eng. Math. 5, No. 2, 169-187 (2015). Reviewer: Joseph Melamed (Los Angeles) MSC: 62P10 PDF BibTeX XML Cite \textit{I. Z. Gokbay} et al., TWMS J. Appl. Eng. Math. 5, No. 2, 169--187 (2015; Zbl 1353.62119)
Belhaouari, Hakim; Arnould, Agnés; Le Gall, Pascale; Bellet, Thomas Jerboa: a graph transformation library for topology-based geometric modeling. (English) Zbl 1423.68537 Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014). MSC: 68U05 68Q42 68U35 PDF BibTeX XML Cite \textit{H. Belhaouari} et al., Lect. Notes Comput. Sci. 8571, 269--284 (2014; Zbl 1423.68537) Full Text: DOI
Dümmler, Jörg; Rauber, Thomas; Rünger, Gudula Programming support and scheduling for communicating parallel tasks. (English) Zbl 1270.68050 J. Parallel Distrib. Comput. 73, No. 2, 220-234 (2013). MSC: 68M20 68M14 68W10 PDF BibTeX XML Cite \textit{J. Dümmler} et al., J. Parallel Distrib. Comput. 73, No. 2, 220--234 (2013; Zbl 1270.68050) Full Text: DOI Link
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker RCOS: a formal model-driven engineering method for component-based software. (English) Zbl 1251.68078 Front. Comput. Sci. 6, No. 1, 17-39 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{W. Ke} et al., Front. Comput. Sci. 6, No. 1, 17--39 (2012; Zbl 1251.68078) Full Text: DOI
Leuschel, Michael; Bendisposto, Jens Directed model checking for B: an evaluation and new techniques. (English) Zbl 1325.68153 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 1-16 (2011). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Leuschel} and \textit{J. Bendisposto}, Lect. Notes Comput. Sci. 6527, 1--16 (2011; Zbl 1325.68153) Full Text: DOI
Berghammer, Rudolf; Kehden, Britta Relation-algebraic specification and solution of special university timetabling problems. (English) Zbl 1198.90168 J. Log. Algebr. Program. 79, No. 8, 722-739 (2010). MSC: 90B35 68W30 PDF BibTeX XML Cite \textit{R. Berghammer} and \textit{B. Kehden}, J. Log. Algebr. Program. 79, No. 8, 722--739 (2010; Zbl 1198.90168) Full Text: DOI
Tian, Yousheng; Wang, Yingxu; Hu, Kai A knowledge representation tool for autonomous machine learning based on concept algebra. (English) Zbl 1246.68223 Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 143-160 (2009). MSC: 68T30 68T05 PDF BibTeX XML Cite \textit{Y. Tian} et al., Lect. Notes Comput. Sci. 5540, 143--160 (2009; Zbl 1246.68223) Full Text: DOI
Olderog, Ernst-Rüdiger Automatic verification of combined specifications: an overview. (English) Zbl 1279.68217 Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 3-16 (2008). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{E.-R. Olderog}, Electron. Notes Theor. Comput. Sci. 207, 3--16 (2008; Zbl 1279.68217) Full Text: DOI
Leuschel, Michael The high road to formal validation:. Model checking high-level versus low-level specifications. (English) Zbl 1156.68473 Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 4-23 (2008). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Leuschel}, Lect. Notes Comput. Sci. 5238, 4--23 (2008; Zbl 1156.68473) Full Text: DOI
Sztrik, János; Kim, Che Soong Performance modeling tools with applications. (English) Zbl 1135.68356 Ann. Math. Inform. 33, 125-140 (2006). MSC: 68M20 PDF BibTeX XML Cite \textit{J. Sztrik} and \textit{C. S. Kim}, Ann. Math. Inform. 33, 125--140 (2006; Zbl 1135.68356) Full Text: EuDML
Koskinen, Johannes; Ruokonen, Anna; Systä, Tarja A pattern-based approach to generate code from API usage scenarios. (English) Zbl 1127.68359 Nord. J. Comput. 13, No. 3, 162-179 (2006). MSC: 68N99 PDF BibTeX XML Cite \textit{J. Koskinen} et al., Nord. J. Comput. 13, No. 3, 162--179 (2006; Zbl 1127.68359)
Butler, Michael; Leuschel, Michael Combining CSP and B for specification and property verification. (English) Zbl 1120.68411 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 221-236 (2005). MSC: 68Q60 68N17 PDF BibTeX XML Cite \textit{M. Butler} and \textit{M. Leuschel}, Lect. Notes Comput. Sci. 3582, 221--236 (2005; Zbl 1120.68411) Full Text: DOI
Smith, Graeme; Wildman, Luke Model checking Z specifications using SAL. (English) Zbl 1118.68553 Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 85-103 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{G. Smith} and \textit{L. Wildman}, Lect. Notes Comput. Sci. 3455, 85--103 (2005; Zbl 1118.68553) Full Text: DOI
Leuschel, Michael; Turner, Edd Visualising larger state spaces in ProB. (English) Zbl 1118.68549 Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 6-23 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Leuschel} and \textit{E. Turner}, Lect. Notes Comput. Sci. 3455, 6--23 (2005; Zbl 1118.68549) Full Text: DOI
Martens, Axel Analyzing web service based business processes. (English) Zbl 1119.68305 Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 19-33 (2005). MSC: 68M10 68U35 68Q85 PDF BibTeX XML Cite \textit{A. Martens}, Lect. Notes Comput. Sci. 3442, 19--33 (2005; Zbl 1119.68305) Full Text: DOI
Sztrik, János Tool supported performance modelling of finite-source retrial queues with breakdowns. (English) Zbl 1067.60095 Publ. Math. 66, No. 1-2, 197-211 (2005). MSC: 60K25 68M20 60J27 PDF BibTeX XML Cite \textit{J. Sztrik}, Publ. Math. 66, No. 1--2, 197--211 (2005; Zbl 1067.60095)
Hayes, Jeremy; Finnegan, Pat Assessing the of potential of e-business models: towards a framework for assisting decision-makers. (English) Zbl 1134.90422 Eur. J. Oper. Res. 160, No. 2, 365-379 (2005). MSC: 90B50 PDF BibTeX XML Cite \textit{J. Hayes} and \textit{P. Finnegan}, Eur. J. Oper. Res. 160, No. 2, 365--379 (2005; Zbl 1134.90422) Full Text: DOI
Farias, Adalberto; Mota, Alexandre; Sampaio, Augusto Efficient CSP\(_{Z }\) data abstraction. (English) Zbl 1196.68132 Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 108-127 (2004). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Farias} et al., Lect. Notes Comput. Sci. 2999, 108--127 (2004; Zbl 1196.68132) Full Text: DOI
Beuche, Danilo; Papajewski, Holger; Schröder-Preikschat, Wolfgang Variability management with feature models. (English) Zbl 1079.68525 Sci. Comput. Program. 53, No. 3, 333-352 (2004). MSC: 68N99 PDF BibTeX XML Cite \textit{D. Beuche} et al., Sci. Comput. Program. 53, No. 3, 333--352 (2004; Zbl 1079.68525) Full Text: DOI
Olsina, L.; Martin, M. A.; Fons, J.; Abrahao, S.; Pastor, Oscar Towards the design of a metrics cataloging system by exploiting conceptual and semantic web approaches. (English) Zbl 1029.68840 Cueva Lovelle, Juan Manuel (ed.) et al., Web engineering. International conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2722, 324-333 (2003). MSC: 68U99 68U35 68M10 PDF BibTeX XML Cite \textit{L. Olsina} et al., Lect. Notes Comput. Sci. 2722, 324--333 (2003; Zbl 1029.68840) Full Text: Link
Rao, D. Vijay; Sarma, V. V. S. A rough-fuzzy approach for retrieval of candidate components for software reuse. (English) Zbl 1053.68034 Pattern Recognit. Lett. 24, No. 6, 875-886 (2003). MSC: 68N99 68U35 PDF BibTeX XML Cite \textit{D. V. Rao} and \textit{V. V. S. Sarma}, Pattern Recognit. Lett. 24, No. 6, 875--886 (2003; Zbl 1053.68034) Full Text: DOI
Kristensen, Lars Michael; Mailund, Thomas A generalised sweep-line method for safety properties. (English) Zbl 1064.68553 Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 549-567 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. M. Kristensen} and \textit{T. Mailund}, Lect. Notes Comput. Sci. 2391, 549--567 (2002; Zbl 1064.68553) Full Text: Link
Brooke, Phillip J.; Paige, Richard F. The design of a tool-supported graphical notation for Timed CSP. (English) Zbl 1057.68621 Butler, Michael (ed.) et al., Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15–18, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43703-7). Lect. Notes Comput. Sci. 2335, 299-318 (2002). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. J. Brooke} and \textit{R. F. Paige}, Lect. Notes Comput. Sci. 2335, 299--318 (2002; Zbl 1057.68621) Full Text: Link
Winter, Kirsten; Duke, Roger Model checking Object-Z using ASM. (English) Zbl 1057.68636 Butler, Michael (ed.) et al., Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15–18, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43703-7). Lect. Notes Comput. Sci. 2335, 165-184 (2002). MSC: 68Q60 PDF BibTeX XML Cite \textit{K. Winter} and \textit{R. Duke}, Lect. Notes Comput. Sci. 2335, 165--184 (2002; Zbl 1057.68636) Full Text: Link
Akhgar, Babak; Siddiqi, Jawed; Naderi, Mehrdad Strategie tool for assessment of the supply and demand relationship between ASPs and SMEs for competitive advantage. (English) Zbl 1025.68501 Shafazand, Hassan (ed.) et al., EurAsia-ICT 2002: Information and communication technology. First EurAsian conference, Shiraz, Iran, October 29-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2510, 667-676 (2002). MSC: 68U99 68U35 68M10 PDF BibTeX XML Cite \textit{B. Akhgar} et al., Lect. Notes Comput. Sci. 2510, 667--676 (2002; Zbl 1025.68501) Full Text: Link
Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai XML-based static type checking and dynamic visualization for TCOZ. (English) Zbl 1015.68835 George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 311-322 (2002). MSC: 68U99 68N99 68Q60 PDF BibTeX XML Cite \textit{J. S. Dong} et al., Lect. Notes Comput. Sci. 2495, 311--322 (2002; Zbl 1015.68835) Full Text: Link
Yoshioka, Koichi KyPlot - a user-oriented tool for statistical data analysis and visualization. (English) Zbl 1019.68120 Comput. Stat. 17, No. 3, 425-437 (2002). Reviewer: A.D.Borisenko (Kyïv) MSC: 68U07 68U35 PDF BibTeX XML Cite \textit{K. Yoshioka}, Comput. Stat. 17, No. 3, 425--437 (2002; Zbl 1019.68120) Full Text: DOI
Andre, Terence S.; Hartson, H. Rex; Belz, Steven M.; McCreary, Faith A. The user action framework: A reliable foundation for usability engineering support tools. (English) Zbl 1011.68643 Int. J. Hum.-Comput. Stud. 54, No. 1, 107-136 (2001). MSC: 68U99 68T20 68T35 PDF BibTeX XML Cite \textit{T. S. Andre} et al., Int. J. Hum.-Comput. Stud. 54, No. 1, 107--136 (2001; Zbl 1011.68643) Full Text: DOI
Embury, Suzanne M.; Brandt, Sue M.; Robinson, John S.; Sutherland, Iain; Bisby, Frank A.; Gray, W. Alex; Jones, Andrew C.; White, Richard J. Adapting integrity enforcement techniques for data reconciliation. (English) Zbl 1001.68029 Inf. Syst. 26, No. 8, 657-689 (2001). MSC: 68P05 68U35 PDF BibTeX XML Cite \textit{S. M. Embury} et al., Inf. Syst. 26, No. 8, 657--689 (2001; Zbl 1001.68029) Full Text: DOI
Farshchian, Babak A. Integrating geographically distributed development teams through increased product awareness. (English) Zbl 0983.68571 Inf. Syst. 26, No. 3, 123-141 (2001). MSC: 68U99 68U35 PDF BibTeX XML Cite \textit{B. A. Farshchian}, Inf. Syst. 26, No. 3, 123--141 (2001; Zbl 0983.68571) Full Text: DOI
Larsen, Peter Gorm Ten years of historical development “bootstrapping” VDMTools. (English) Zbl 1015.68049 J. UCS 7, No. 8, 692-700 (2001). MSC: 68N99 68-03 PDF BibTeX XML Cite \textit{P. G. Larsen}, J. UCS 7, No. 8, 692--700 (2001; Zbl 1015.68049) Full Text: Link
Wildman, Luke; Fidge, Colin; Carrington, David Computer-aided development of a real-time program. (English) Zbl 1057.68570 Softw. Concepts Tools 19, No. 4, 190-202 (2000). MSC: 68N01 68U99 68Q60 PDF BibTeX XML Cite \textit{L. Wildman} et al., Softw. Concepts Tools 19, No. 4, 190--202 (2000; Zbl 1057.68570) Full Text: DOI
Müller, J.-A. Analysis and prediction of ecological systems. (English) Zbl 0859.92027 Syst. Anal. Modelling Simulation 25, No. 2-4, 209-243 (1996). MSC: 92D40 92-04 PDF BibTeX XML Cite \textit{J. A. Müller}, Syst. Anal. Modell. Simul. 25, No. 2--4, 209--243 (1996; Zbl 0859.92027)
Ehrig, Hartmut FLEX: A flexible extension and integration concept for software development in KORSO and COMPASS. (English) Zbl 0791.68012 Bull. EATCS 52, 189-202 (1994). MSC: 68N01 68Q65 PDF BibTeX XML Cite \textit{H. Ehrig}, Bull. EATCS 52, 189--202 (1994; Zbl 0791.68012)
van Hee, K. M.; Somers, L. J.; Voorhoeve, M. A modeling environment for decision support systems. (English) Zbl 0725.68037 Operations research, Proc. 14th Symp., Ulm/FRG 1989, Methods Oper. Res. 63, 393-403 (1990). MSC: 68N99 91B06 PDF BibTeX XML