Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie Logical vs. behavioural specifications. (English) Zbl 1435.68189 Inf. Comput. 271, Article ID 104487, 24 p. (2020). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{N. Beneš} et al., Inf. Comput. 271, Article ID 104487, 24 p. (2020; Zbl 1435.68189) Full Text: DOI
Badouel, Éric; Djeumen Djatcha, Rodrigue Aimé Modular design of domain-specific languages using splittings of catamorphisms. (English) Zbl 06983501 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 62-79 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{É. Badouel} and \textit{R. A. Djeumen Djatcha}, Lect. Notes Comput. Sci. 11187, 62--79 (2018; Zbl 06983501) Full Text: DOI
Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter Nondeterministic modal interfaces. (English) Zbl 1345.68231 Theor. Comput. Sci. 642, 24-53 (2016). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{F. Bujtor} et al., Theor. Comput. Sci. 642, 24--53 (2016; Zbl 1345.68231) Full Text: DOI
Sun, Ke Multi-rate system design through integrating synchronous components. (English) Zbl 06545742 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 464-482 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{K. Sun}, Lect. Notes Comput. Sci. 9399, 464--482 (2015; Zbl 06545742) Full Text: DOI
Dihego, José; Sampaio, Augusto Aspect-oriented development of trustworthy component-based systems. (English) Zbl 06545740 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25149-3/pbk; 978-3-319-25150-9/ebook). Lecture Notes in Computer Science 9399, 425-444 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. Dihego} and \textit{A. Sampaio}, Lect. Notes Comput. Sci. 9399, 425--444 (2015; Zbl 06545740) Full Text: DOI
Dixit, Manoj G.; Ramesh, S.; Dasgupta, Pallab Time-budgeting: a component based development methodology for real-time embedded systems. (English) Zbl 1342.68042 Formal Asp. Comput. 26, No. 3, 591-621 (2014). MSC: 68M20 68M14 PDF BibTeX XML Cite \textit{M. G. Dixit} et al., Formal Asp. Comput. 26, No. 3, 591--621 (2014; Zbl 1342.68042) Full Text: DOI
Chilton, Chris; Jonsson, Bengt; Kwiatkowska, Marta An algebraic theory of interface automata. (English) Zbl 1360.68608 Theor. Comput. Sci. 549, 146-174 (2014). MSC: 68Q70 68Q60 PDF BibTeX XML Cite \textit{C. Chilton} et al., Theor. Comput. Sci. 549, 146--174 (2014; Zbl 1360.68608) Full Text: DOI
Dong, Ruzhen; Faber, Johannes; Ke, Wei; Liu, Zhiming rCOS: defining meanings of component-based software architectures. (English) Zbl 1444.68047 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{R. Dong} et al., Lect. Notes Comput. Sci. 8050, 1--66 (2013; Zbl 1444.68047) Full Text: DOI
Bertrand, Nathalie; Legay, Axel; Pinchinat, Sophie; Raclet, Jean-Baptiste Modal event-clock specifications for timed component-based design. (English) Zbl 1264.68053 Sci. Comput. Program. 77, No. 12, 1212-1234 (2012). MSC: 68N30 68Q45 PDF BibTeX XML Cite \textit{N. Bertrand} et al., Sci. Comput. Program. 77, No. 12, 1212--1234 (2012; Zbl 1264.68053) Full Text: DOI
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
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin Interface theories for concurrency and data. (English) Zbl 1216.68187 Theor. Comput. Sci. 412, No. 28, 3101-3121 (2011). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{S. S. Bauer} et al., Theor. Comput. Sci. 412, No. 28, 3101--3121 (2011; Zbl 1216.68187) Full Text: DOI
Castro, Pablo F.; Maibaum, Tom S. E. Characterizing locality (encapsulation) with bisimulation. (English) Zbl 1286.68309 Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010). MSC: 68Q60 03B45 PDF BibTeX XML Cite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Lect. Notes Comput. Sci. 6255, 322--336 (2010; Zbl 1286.68309) Full Text: DOI
Coronato, Antonio; de Pietro, Giuseppe Formal design and implementation of constraints in software components. (English) Zbl 1191.68188 Adv. Eng. Softw. 41, No. 5, 737-747 (2010). MSC: 68N99 PDF BibTeX XML Cite \textit{A. Coronato} and \textit{G. de Pietro}, Adv. Eng. Softw. 41, No. 5, 737--747 (2010; Zbl 1191.68188) Full Text: DOI
Liu, Zhiming (ed.); He, Jifeng (ed.) Mathematical frameworks for component software. Models for analysis and synthesis. (English) Zbl 1139.68333 Series on Component-Based Software Development 2. Hackensack, NJ: World Scientific (ISBN 978-981-270-017-9/hbk; 978-981-277-283-1/ebook). xii, 354 p. (2007). MSC: 68N99 68-06 PDF BibTeX XML Cite \textit{Z. Liu} (ed.) and \textit{J. He} (ed.), Mathematical frameworks for component software. Models for analysis and synthesis. Hackensack, NJ: World Scientific (2007; Zbl 1139.68333) Full Text: DOI
Solarski, Marcin; Bossardt, Matthias; Becker, Thomas Deployment and management of component-based services in active networks. (English) Zbl 1102.68374 Comput. Netw. 50, No. 14, 2506-2518 (2006). MSC: 68M10 PDF BibTeX XML Cite \textit{M. Solarski} et al., Comput. Netw. 50, No. 14, 2506--2518 (2006; Zbl 1102.68374) Full Text: DOI
Hofbaur, Michael W. Hybrid estimation of complex systems. (English) Zbl 1111.93002 Lecture Notes in Control and Information Sciences 319. Berlin: Springer (ISBN 3-540-25727-6/pbk). xix, 148 p. ; (2005). Reviewer: Alexandr B. Vasil’ev (Odessa) MSC: 93-02 37H10 68Txx 93D09 93E10 93E11 PDF BibTeX XML Cite \textit{M. W. Hofbaur}, Hybrid estimation of complex systems. Berlin: Springer (2005; Zbl 1111.93002) Full Text: DOI
Lee, Edward A.; Xiong, Yuhong A behavioral type system and its application in Ptolemy II. (English) Zbl 1086.68029 Formal Asp. Comput. 16, No. 3, 210-237 (2004). MSC: 68N30 PDF BibTeX XML Cite \textit{E. A. Lee} and \textit{Y. Xiong}, Formal Asp. Comput. 16, No. 3, 210--237 (2004; Zbl 1086.68029) Full Text: DOI
Scarlatescu, R. O. Programming by steps. (English) Zbl 1049.68034 Acta Cybern. 16, No. 2, 293-314 (2003). MSC: 68N15 PDF BibTeX XML Cite \textit{R. O. Scarlatescu}, Acta Cybern. 16, No. 2, 293--314 (2003; Zbl 1049.68034)
De Bruin, Hans BCOOPL: A language for controlling component interactions. (English) Zbl 1033.68032 J. Supercomput. 24, No. 2, 131-139 (2003). MSC: 68N19 68N15 PDF BibTeX XML Cite \textit{H. De Bruin}, J. Supercomput. 24, No. 2, 131--139 (2003; Zbl 1033.68032) Full Text: DOI
Wilde, T.; Kohl, J. A.; Flanery, R. E. jun. Integrating CUMULVS into AVS/Express. (English) Zbl 1055.68667 Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 864-873 (2002). MSC: 68U99 68U20 68U35 PDF BibTeX XML Cite \textit{T. Wilde} et al., Lect. Notes Comput. Sci. 2330, 864--873 (2002; Zbl 1055.68667) Full Text: Link
Gruhn, Volker; Schöpe, Lothar Software processes for electronic commerce portal systems. (English) Zbl 1015.68788 Han, Yanbo (ed.) et al., Engineering and deployment of cooperative information systems. First international conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2480, 315-331 (2002). MSC: 68U99 68U35 PDF BibTeX XML Cite \textit{V. Gruhn} and \textit{L. Schöpe}, Lect. Notes Comput. Sci. 2480, 315--331 (2002; Zbl 1015.68788) Full Text: Link
Periquet, Arnel I.; Lin, Eric C. Meta-level architectures for component-based mobile computing. (English) Zbl 1030.68812 Mobile Networks & Applications 6, No. 2, 175-184 (2001). MSC: 68U99 68M10 PDF BibTeX XML Cite \textit{A. I. Periquet} and \textit{E. C. Lin}, Mob. Netw. Appl. 6, No. 2, 175--184 (2001; Zbl 1030.68812) Full Text: DOI