×

zbMATH — the first resource for mathematics

Found 208 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Hoare, Tony; Struth, Georg; Woodcock, Jim
A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
\textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631)
Full Text: DOI
Knapp, Alexander; Mossakowski, Till
UML interactions meet state machines – an institutional approach. (English) Zbl 1433.68097
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017).
MSC:  68N30 68Q10 68Q65
PDF BibTeX XML Cite
\textit{A. Knapp} and \textit{T. Mossakowski}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017; Zbl 1433.68097)
Full Text: DOI
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
Towards an institutional framework for heterogeneous formal development in UML – a position paper. (English) Zbl 1453.68107
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 215-230 (2015).
MSC:  68Q65 68N15
PDF BibTeX XML Cite
\textit{A. Knapp} et al., Lect. Notes Comput. Sci. 8950, 215--230 (2015; Zbl 1453.68107)
Full Text: DOI
Granström, Johan G.
A new approach to the semantics of model diagrams. (English) Zbl 1354.68061
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 28-40 (2013).
MSC:  68N99 68Q55
PDF BibTeX XML Cite
\textit{J. G. Granström}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 28--40 (2013; Zbl 1354.68061)
Full Text: DOI
De Leeuw, Benjamin; Hoogewijs, Albert
Statecharts disentangled. (English) Zbl 1231.68108
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 39-51 (2010).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
\textit{B. De Leeuw} and \textit{A. Hoogewijs}, in: European computing conference. Proceedings of the 4th European computing conference (ECC'10), Bucarest, Romania, April 20--22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS). 39--51 (2010; Zbl 1231.68108)
Bowman, Howard (ed.); Derrick, John (ed.)
Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. (English) Zbl 1233.68011
Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
MSC:  68-06 68Q85 68N19 68Q60 68N30 68M14 68N15 00B15
PDF BibTeX XML Cite
\textit{H. Bowman} (ed.) and \textit{J. Derrick} (ed.), Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. Cambridge: Cambridge University Press (2010; Zbl 1233.68011)
Asthana, Shireesh; Tripathi, Saurabh; Singh, Sandeep Kumar
A novel approach to generate test cases using class and sequence diagrams. (English) Zbl 1213.68130
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 155-167 (2010).
MSC:  68M15 68N99
PDF BibTeX XML Cite
\textit{S. Asthana} et al., Commun. Comput. Inf. Sci. 95, 155--167 (2010; Zbl 1213.68130)
Full Text: DOI
Bansal, Gaurav; Vijayvargiya, Deepak; Garg, Siddhant; Singh, Sandeep Kumar
An approach to identify and manage interoperability of class diagrams in visual paradigm and magicdraw tools. (English) Zbl 1211.68110
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 142-154 (2010).
MSC:  68N99
PDF BibTeX XML Cite
\textit{G. Bansal} et al., Commun. Comput. Inf. Sci. 95, 142--154 (2010; Zbl 1211.68110)
Full Text: DOI
Pande, Akshara; Gupta, Manjari; Tripathi, A. K.
A new approach for detecting design patterns by graph decomposition and graph isomorphism. (English) Zbl 1213.68542
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 108-119 (2010).
MSC:  68T10 68R10 68W05
PDF BibTeX XML Cite
\textit{A. Pande} et al., Commun. Comput. Inf. Sci. 95, 108--119 (2010; Zbl 1213.68542)
Full Text: DOI
Shirole, Mahesh; Kumar, Rajeev
A hybrid genetic algorithm based test case generation using sequence diagrams. (English) Zbl 1213.68688
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 53-63 (2010).
MSC:  68W05 68T05
PDF BibTeX XML Cite
\textit{M. Shirole} and \textit{R. Kumar}, Commun. Comput. Inf. Sci. 94, 53--63 (2010; Zbl 1213.68688)
Full Text: DOI
Dulz, Winfried
On-the-fly testing by using an executable TTCN-3 Markov chain usage model. (English) Zbl 1213.68134
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 17-30 (2010).
MSC:  68M15
PDF BibTeX XML Cite
\textit{W. Dulz}, Commun. Comput. Inf. Sci. 69, 17--30 (2010; Zbl 1213.68134)
Full Text: DOI
Moreira, Tomás G.; Wehrmeister, Marco A.; Pereira, Carlos E.; Pétin, Jean-François; Levrat, Eric
Generating VHDL source code from UML models of embedded systems. (English) Zbl 1198.68109
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 125-136 (2010).
MSC:  68M99 93C83
PDF BibTeX XML Cite
\textit{T. G. Moreira} et al., IFIP Adv. Inf. Commun. Technol. 329, 125--136 (2010; Zbl 1198.68109)
Full Text: DOI
Mueller, Wolfgang; Bol, Alexander; Krupp, Alexander; Lundkvist, Ola
Generation of executable testbenches from natural language requirement specifications for embedded real-time systems. (English) Zbl 1198.68271
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 78-89 (2010).
MSC:  68T50
PDF BibTeX XML Cite
\textit{W. Mueller} et al., IFIP Adv. Inf. Commun. Technol. 329, 78--89 (2010; Zbl 1198.68271)
Full Text: DOI
Derezińska, Anna; Ołtarzewski, Przemysław
Model-driven engineering support for building C# applications. (English) Zbl 1209.68137
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 449-454 (2010).
MSC:  68N99
PDF BibTeX XML Cite
\textit{A. Derezińska} and \textit{P. Ołtarzewski}, in: Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4--12, 2009. Dordrecht: Springer. 449--454 (2010; Zbl 1209.68137)
Full Text: DOI
Arbab, Farhad; Sun, Meng; Baier, Christel
Synthesis of Reo circuits from scenario-based specifications. (English) Zbl 1347.68024
Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 21-41 (2009).
MSC:  68M14 68M12 68N30 68Q60 68Q85
PDF BibTeX XML Cite
\textit{F. Arbab} et al., Electron. Notes Theor. Comput. Sci. 229, No. 2, 21--41 (2009; Zbl 1347.68024)
Full Text: DOI
Xu, Zhuoming; Ni, Yuyan; Lin, Lili; Gu, Huajian
A semantics-preserving approach for extracting OWL ontologies from UML class diagrams. (English) Zbl 1186.68399
Ślęzak, Dominik (ed.) et al., Database theory and application. International conference, DTA 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10582-1/pbk; 978-3-642-10583-8/ebook). Communications in Computer and Information Science 64, 122-136 (2009).
MSC:  68T05 68M11
PDF BibTeX XML Cite
\textit{Z. Xu} et al., Commun. Comput. Inf. Sci. 64, 122--136 (2009; Zbl 1186.68399)
Full Text: DOI
Yu, Siwen; Ai, Jun; Zhang, Yifu
Software test data generation based on multi-agent. (English) Zbl 1185.68269
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 188-195 (2009).
MSC:  68N99 68T42
PDF BibTeX XML Cite
\textit{S. Yu} et al., Commun. Comput. Inf. Sci. 59, 188--195 (2009; Zbl 1185.68269)
Full Text: DOI
Pow-Sang, José Antonio; Gasco, Loretta; Nakasone, Arturo
A function point logic file identification technique using UML analysis class diagrams. (English) Zbl 1185.68263
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 160-167 (2009).
MSC:  68N99
PDF BibTeX XML Cite
\textit{J. A. Pow-Sang} et al., Commun. Comput. Inf. Sci. 59, 160--167 (2009; Zbl 1185.68263)
Full Text: DOI
Adamkó, Attila; Bornemissza, Csaba
Combining the benefits of MVC design pattern and UML based modeling for different software platforms. (English) Zbl 1183.68186
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009).
MSC:  68N99 68N15
PDF BibTeX XML Cite
\textit{A. Adamkó} and \textit{C. Bornemissza}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173--179 (2009; Zbl 1183.68186)
Adamkó, Attila
Rapid Web application development and modeling, based on XML and UML technologies. (English) Zbl 1183.68067
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 163-172 (2009).
MSC:  68M11 68N99
PDF BibTeX XML Cite
\textit{A. Adamkó}, in: Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28--31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 163--172 (2009; Zbl 1183.68067)
Ehlmann, Bryon K.
Object relationship notation (ORN) for database applications. Enhancing the modeling and implementation of associations. (English) Zbl 1185.68293
Advances in Database Systems 39. New York, NY: Springer (ISBN 978-0-387-09553-0/hbk; 978-0-387-09554-7/ebook). xxi, 246 p. (2009).
Reviewer: Gottfried Vossen (Münster)
MSC:  68P15 68-01
PDF BibTeX XML Cite
\textit{B. K. Ehlmann}, Object relationship notation (ORN) for database applications. Enhancing the modeling and implementation of associations. New York, NY: Springer (2009; Zbl 1185.68293)
Full Text: DOI
Ballis, D.; Baruzzo, A.; Comini, M.
A rule-based method to match software patterns against UML models. (English) Zbl 1286.68305
Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 51-66 (2008).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{D. Ballis} et al., Electron. Notes Theor. Comput. Sci. 219, 51--66 (2008; Zbl 1286.68305)
Full Text: DOI
Hermann, Frank; Ehrig, Hartmut; Taentzer, Gabriele
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. (English) Zbl 1283.68206
Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 261-269 (2008).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
\textit{F. Hermann} et al., Electron. Notes Theor. Comput. Sci. 211, 261--269 (2008; Zbl 1283.68206)
Full Text: DOI
Winkelmann, Jessica; Taentzer, Gabriele; Ehrig, Karsten; Küster, Jochen M.
Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. (English) Zbl 1283.68216
Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 159-170 (2008).
MSC:  68Q60 68Q42
PDF BibTeX XML Cite
\textit{J. Winkelmann} et al., Electron. Notes Theor. Comput. Sci. 211, 159--170 (2008; Zbl 1283.68216)
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
Ferreira, Patrícia; Sampaio, Augusto; Mota, Alexandre
Viewing CSP specifications with UML-RT diagrams. (English) Zbl 1279.68257
Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 57-74 (2008).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
\textit{P. Ferreira} et al., Electron. Notes Theor. Comput. Sci. 195, 57--74 (2008; Zbl 1279.68257)
Full Text: DOI
Engels, Gregor; Soltenborn, Christian; Wehrheim, Heike
Analysis of UML activities using dynamic meta modeling. (English) Zbl 1202.68095
Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 76-90 (2007).
MSC:  68N19 68Q55 68Q60
PDF BibTeX XML Cite
\textit{G. Engels} et al., Lect. Notes Comput. Sci. 4468, 76--90 (2007; Zbl 1202.68095)
Full Text: DOI
Reddy, Y. R.; Ghosh, S.; France, R. B.; Straw, G.; Bieman, J. M.; McEachen, N.; Song, E.; Georg, G.
Directives for composing aspect-oriented design class models. (English) Zbl 1165.68368
Rashid, Awais (ed.) et al., Transactions on Aspect-Oriented Software Development I. Berlin: Springer (ISBN 978-3-540-32972-5/pbk). Lecture Notes in Computer Science 3880. Journal Subline, 75-105 (2006).
MSC:  68N99
PDF BibTeX XML Cite
\textit{Y. R. Reddy} et al., Lect. Notes Comput. Sci. 3880, 75--105 (2006; Zbl 1165.68368)
Full Text: DOI
Teorey, Toby; Lightstone, Sam; Nadeau, Tom
Database modeling and design: logical design. 4th ed. (English) Zbl 1115.68070
The Morgan Kaufmann Series in Data Management Systems. Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (ISBN 0-12-685352-5/pbk). xviii, 275 p. (2006).
Reviewer: Gottfried Vossen (Münster)
MSC:  68P15 68-01 68P01 68U35 68P05
PDF BibTeX XML Cite
\textit{T. Teorey} et al., Database modeling and design: logical design. 4th ed. Amsterdam: Elsevier; San Francisco, CA: Morgan Kaufmann (2006; Zbl 1115.68070)
Full Text: Link
Long, Quan; Qiu, Zongyan; Liu, Zhiming; Shao, Lingshuang; He, Jifeng
POST: A case study for an incremental development in rCOS. (English) Zbl 1169.68360
Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 485-500 (2005).
MSC:  68N19
PDF BibTeX XML Cite
\textit{Q. Long} et al., Lect. Notes Comput. Sci. 3722, 485--500 (2005; Zbl 1169.68360)
Full Text: DOI
Buchholtz, Mikael; Gilmore, Stephen; Haenel, Valentin; Montangero, Carlo
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform. (English) Zbl 1120.68388
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, 286-301 (2005).
MSC:  68N99
PDF BibTeX XML Cite
\textit{M. Buchholtz} et al., Lect. Notes Comput. Sci. 3582, 286--301 (2005; Zbl 1120.68388)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software