×

zbMATH — the first resource for mathematics

Found 85 Documents (Results 1–85)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Klimovich, A. S.; Solov’ev, V. V.
Transformation of a mealy finite-state machine into a Moore finite-state machine by splitting internal states. (English. Russian original) Zbl 1268.93106
J. Comput. Syst. Sci. Int. 49, No. 6, 900-908 (2010); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2010, No. 6, 70-79 (2010).
MSC:  93C83 93B17 93C95
PDF BibTeX XML Cite
\textit{A. S. Klimovich} and \textit{V. V. Solov'ev}, J. Comput. Syst. Sci. Int. 49, No. 6, 900--908 (2010; Zbl 1268.93106); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2010, No. 6, 70--79 (2010)
Full Text: DOI
Bowman, Howard; Derrick, John
Issues in formal methods. (English) Zbl 1257.68103
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 36-51 (2010).
MSC:  68Q60 68M14 68N30 68Q85
PDF BibTeX XML Cite
\textit{H. Bowman} and \textit{J. Derrick}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 36--51 (2010; Zbl 1257.68103)
Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo
AlPiNA: A symbolic model checker. (English) Zbl 1233.68155
Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 287-296 (2010).
MSC:  68Q60 68N30 68Q85
PDF BibTeX XML Cite
\textit{D. Buchs} et al., Lect. Notes Comput. Sci. 6128, 287--296 (2010; Zbl 1233.68155)
Full Text: DOI
Meng, Sun; Arbab, Farhad
Connectors as designs. (English) Zbl 1364.68140
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 119-135 (2009).
MSC:  68N30 68N19 68Q55 68Q85
PDF BibTeX XML Cite
\textit{S. Meng} and \textit{F. Arbab}, Electron. Notes Theor. Comput. Sci. 255, 119--135 (2009; Zbl 1364.68140)
Full Text: Link
Mustakerov, Ivan; Borissova, Daniela
Night vision devices design process modelling. (English) Zbl 1212.68038
Breaz, Daniel (ed.) et al., Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30–September 2, 2007. Alba Iulia: Aeternitas Publishing House (ISBN 978-973-1890-01-2). 55-66 (2008).
MSC:  68N99 68P05
PDF BibTeX XML Cite
\textit{I. Mustakerov} and \textit{D. Borissova}, in: Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30--September 2, 2007. Alba Iulia: Aeternitas Publishing House. 55--66 (2008; Zbl 1212.68038)
Mustakerov, Ivan; Borissova, Daniela
Software system for night vision devices design by reasonable combinatorial choice. (English) Zbl 1212.68037
Breaz, Daniel (ed.) et al., Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30–September 2, 2007. Alba Iulia: Aeternitas Publishing House (ISBN 978-973-1890-01-2). 43-53 (2008).
MSC:  68N99 68P05
PDF BibTeX XML Cite
\textit{I. Mustakerov} and \textit{D. Borissova}, in: Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30--September 2, 2007. Alba Iulia: Aeternitas Publishing House. 43--53 (2008; Zbl 1212.68037)
Lee, Roger (ed.)
Software engineering research, management and applications. Selected papers based on the presentations at the 6th ACIS international conference on software engineering, research, management and applications (SERA 2008), Prague, Czech Republik, August 20–22, 2008. (English) Zbl 1168.68369
Studies in Computational Intelligence 150. Berlin: Springer (ISBN 978-3-540-70774-5/hbk). xiv, 248 p. (2008).
MSC:  68N99 68-06 68P20 68M10
PDF BibTeX XML Cite
\textit{R. Lee} (ed.), Software engineering research, management and applications. Selected papers based on the presentations at the 6th ACIS international conference on software engineering, research, management and applications (SERA 2008), Prague, Czech Republik, August 20--22, 2008. Berlin: Springer (2008; Zbl 1168.68369)
Full Text: DOI
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
Harnessing rCOS for tool support – the CoCoME experience. (English) Zbl 1151.68380
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007).
MSC:  68N99
PDF BibTeX XML Cite
\textit{Z. Chen} et al., Lect. Notes Comput. Sci. 4700, 83--114 (2007; Zbl 1151.68380)
Full Text: DOI
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
Structured communication-centred programming for web services. (English) Zbl 1187.68064
De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 2-17 (2007).
MSC:  68M11 68M10 68N30 68Q85
PDF BibTeX XML Cite
\textit{M. Carbone} et al., Lect. Notes Comput. Sci. 4421, 2--17 (2007; Zbl 1187.68064)
Full Text: DOI
Buscemi, Maria Grazia; Montanari, Ugo
cc-pi: a constraint-based language for specifying service level agreements. (English) Zbl 1187.68063
De Nicola, Rocco (ed.), Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71314-2/pbk). Lecture Notes in Computer Science 4421, 18-32 (2007).
MSC:  68M11 68M10 68N30 68Q85
PDF BibTeX XML Cite
\textit{M. G. Buscemi} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 4421, 18--32 (2007; Zbl 1187.68063)
Full Text: DOI
Oh, Kie Sung; Lee, Nam Yong; Rhew, Sung Yul
A selection process of COTS components based on the quality of software in a special attention to internet. (English) Zbl 1037.68929
Chung, Chin-Wan (ed.) et al., Web and communication technologies and internet-related social issues — HSI 2003. Second international conference on Human.Society@Internet, Seoul, Korea, June 18–20, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40456-2/pbk). Lect. Notes Comput. Sci. 2713, 626-631 (2003).
MSC:  68U99 68M10 68M20
PDF BibTeX XML Cite
\textit{K. S. Oh} et al., Lect. Notes Comput. Sci. 2713, 626--631 (2003; Zbl 1037.68929)
Full Text: Link
Wagner, Thomas
An agent-oriented approach to industrial automation systems. (English) Zbl 1021.68837
Kowalczyk, Ryszard (ed.) et al., Agent technologies, infrastructures, tools, and applications for e-services. NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2592, 314-328 (2003).
MSC:  68U99 68T35 68U35 90B30 93C83
PDF BibTeX XML Cite
\textit{T. Wagner}, Lect. Notes Comput. Sci. 2592, 314--328 (2003; Zbl 1021.68837)
Full Text: Link
Alencar, Paulo S. C.; Cowan, D. D.; Mulholland, D.; Oliveira, T.
Towards monitored data consistency and business processing based on declarative software agents. (English) Zbl 1019.68641
Garcia, Alessandro (ed.) et al., Software engineering for large-scale multi-agent systems. Research issues and practical applications. Berlin: Springer. Lect. Notes Comput. Sci. 2603, 267-284 (2003).
MSC:  68U99 68N99 68U35
PDF BibTeX XML Cite
\textit{P. S. C. Alencar} et al., Lect. Notes Comput. Sci. 2603, 267--284 (2003; Zbl 1019.68641)
Full Text: Link
Voros, Nikolaos S.; Sánchez, Luis; Alonso, Alejandro; Birbas, Alexios N.; Birbas, Michael; Jerraya, Ahmed
Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation. (English) Zbl 1009.68556
Des. Autom. Embed. Syst. 8, No. 1, 5-49 (2003).
MSC:  68U99 68N15 68N20
PDF BibTeX XML Cite
\textit{N. S. Voros} et al., Des. Autom. Embed. Syst. 8, No. 1, 5--49 (2003; Zbl 1009.68556)
Full Text: DOI
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
Nieuwland, André; Kang, Jeffrey; Gangwal, Om Prakash; Sethuraman, Ramanathan; Busá, Natalino; Goossens, Kees; Llopis, Rafael Peset; Lippens, Paul
C-HEAP: A heterogeneous multi-processor architecture template and scalable and flexible protocol for the design of embedded signal processing systems. (English) Zbl 1035.68647
Des. Autom. Embed. Syst. 7, No. 3, 233-270 (2002).
MSC:  68U99 68N99 68M20
PDF BibTeX XML Cite
\textit{A. Nieuwland} et al., Des. Autom. Embed. Syst. 7, No. 3, 233--270 (2002; Zbl 1035.68647)
Full Text: DOI
Kals, Hubert (ed.); Van Houten, Fred (ed.)
Integration of process knowledge into design support systems. Proceedings of the 1999 CIRP international design-seminar, Univ. of Twente, Enschede, the Netherlands, March 24–26, 1999. (English) Zbl 0912.68198
Dordrecht: Kluwer Academic Publishers. xi, 469 p. (1999).
MSC:  68T35 68U99 00B25 68-06
PDF BibTeX XML Cite
\textit{H. Kals} (ed.) and \textit{F. Van Houten} (ed.), Integration of process knowledge into design support systems. Proceedings of the 1999 CIRP international design-seminar, Univ. of Twente, Enschede, the Netherlands, March 24--26, 1999. Dordrecht: Kluwer Academic Publishers (1999; Zbl 0912.68198)
García Nocetti, D. F. (ed.); Solano González, J. (ed.); Acevedo Contla, P. (ed.); Fleming, P. J. (ed.)
Algorithms and architectures for real-time control 1998. AARTC ’98. Proceedings of the 5th IFAC workshop, Cancun, Mexico, April 15–17, 1998. (English) Zbl 0916.93007
Amsterdam: Pergamon/ Elsevier. 262 p. (1998).
MSC:  93-06 00B25
PDF BibTeX XML Cite
\textit{D. F. García Nocetti} (ed.) et al., Algorithms and architectures for real-time control 1998. AARTC '98. Proceedings of the 5th IFAC workshop, Cancun, Mexico, April 15--17, 1998. Amsterdam: Pergamon/ Elsevier (1998; Zbl 0916.93007)
Gryczan, Guido; Kilberth, Klaus; Züllighoven, Heinz
Object-oriented application development. Concepts, strategies, experiences. 2., verb. Aufl. (Objektorientierte Anwendungsentwicklung. Konzepte, Strategien, Erfahrungen.) (German) Zbl 0813.68018
Braunschweig: Vieweg. xii, 218 p. DM 78.00 /hc (1994).
MSC:  68-01 68N99
PDF BibTeX XML Cite
\textit{G. Gryczan} et al., Objektorientierte Anwendungsentwicklung. Konzepte, Strategien, Erfahrungen. 2., verb. Aufl. Braunschweig: Vieweg (1994; Zbl 0813.68018)
Vishnyakova, L. V.; Kukhtenko, V. I.
System for the automated organizing of the make-up of antiaircraft missile complexes. (English. Russian original) Zbl 0879.93030
J. Comput. Syst. Sci. Int. 34, No. 6, 107-154 (1996); translation from Izv. Akad. Nauk, Teor. Sist. Upr. 1993, No. 6, 137-185 (1993).
MSC:  93C85 93C83 93B51
PDF BibTeX XML Cite
\textit{L. V. Vishnyakova} and \textit{V. I. Kukhtenko}, J. Comput. Syst. Sci. Int. 34, No. 6, 1 (1993; Zbl 0879.93030); translation from Izv. Akad. Nauk, Teor. Sist. Upr. 1993, No. 6, 137--185 (1993)
Littlewood, Bev
Forecasting software reliability. (English) Zbl 0787.62104
Sander, P. (ed.) et al., Bayesian methods in reliability. Proceedings of a course, held in Bradford, UK, October 1990. Dordrecht: Kluwer Academic Publishers. Topics in Safety, Reliability and Quality. 1, 135-201 (1991).
MSC:  62N05 90B25 68N99
PDF BibTeX XML Cite
\textit{B. Littlewood}, in: Bayesian methods in reliability. Proceedings of a course, held in Bradford, UK, October 1990. Dordrecht: Kluwer Academic Publishers. 135--201 (1991; Zbl 0787.62104)
ten Hagen, Paul J. W. (ed.); Veerkamp, Paul J. (ed.)
Intelligent CAD systems III. Practical experience and evaluation. 3rd Eurographics Workshop, April 3-7, 1989, held at Texel, Netherlands. Proceedings. (English) Zbl 0743.68020
EurographicSeminars. Berlin etc.: Springer-Verlag. X, 270 p. (1991).
Reviewer: L.-D.Şerbănaţi (Roma)
MSC:  68-06 68T35 68U07 68N17
PDF BibTeX XML Cite
\textit{P. J. W. ten Hagen} (ed.) and \textit{P. J. Veerkamp} (ed.), Intelligent CAD systems III. Practical experience and evaluation. 3rd Eurographics Workshop, April 3-7, 1989, held at Texel, Netherlands. Proceedings. Berlin etc.: Springer-Verlag (1991; Zbl 0743.68020)
ten Hagen, P. J. W. (ed.); Tomiyama, T. (ed.)
Intelligent CAD systems I. Theoretical and methodological aspects. Proceedings of the 1st Eurographics Workshop, held in Noordwijkerhout, The Netherlands, April 21-24, 1987. (English) Zbl 0743.68019
EurographicSeminars. Berlin etc.: Springer-Verlag. XIV, 360 p. (1987).
Reviewer: L.-D.Şerbănaţi (Roma)
MSC:  68-06 68T35 68U07 68U99
PDF BibTeX XML Cite
\textit{P. J. W. ten Hagen} (ed.) and \textit{T. Tomiyama} (ed.), Intelligent CAD systems I. Theoretical and methodological aspects. Proceedings of the 1st Eurographics Workshop, held in Noordwijkerhout, The Netherlands, April 21-24, 1987. Berlin etc.: Springer-Verlag (1987; Zbl 0743.68019)

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