Traonouez, L.-M.; Lime, D.; Roux, O. H. Parametric model-checking of stopwatch Petri nets. (English) Zbl 1217.68140 J. UCS 15, No. 17, 3273-3304 (2009). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. M. Traonouez} et al., J. UCS 15, No. 17, 3273--3304 (2009; Zbl 1217.68140) Full Text: Link
Goos, Gerhard Issues in compiling. (English) Zbl 0982.68040 J. UCS 7, No. 5, 410-419 (2001). MSC: 68N20 PDFBibTeX XMLCite \textit{G. Goos}, J. UCS 7, No. 5, 410--419 (2001; Zbl 0982.68040) Full Text: Link
Rothe, Jan; Tews, Hendrik; Jacobs, Bart The coalgebraic class specification language CCSL. (English) Zbl 0970.68104 J. UCS 7, No. 2, Spec. Iss., 175-193 (2001). MSC: 68Q60 68T27 PDFBibTeX XMLCite \textit{J. Rothe} et al., J. UCS 7, No. 2, 175--193 (2001; Zbl 0970.68104)
Cansell, Dominique; Mery, Dominique; Merz, Stephan Diagram refinements for the design of reactive systems. (English) Zbl 0970.68103 J. UCS 7, No. 2, Spec. Iss., 159-174 (2001). MSC: 68Q60 68T27 PDFBibTeX XMLCite \textit{D. Cansell} et al., J. UCS 7, No. 2, 159--174 (2001; Zbl 0970.68103)
Baukus, Kai; Lakhnech, Yassine; Stahl, Karsten Verification of parameterized protocols. (English) Zbl 0970.68105 J. UCS 7, No. 2, Spec. Iss., 141-158 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Baukus} et al., J. UCS 7, No. 2, 141--158 (2001; Zbl 0970.68105)
Choppy, Christine; Poizat, Pascal; Royer, Jean-Claude The Korrigan environment. (English) Zbl 0973.68139 J. UCS 7, No. 1, Spec. Iss., 19-53 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Choppy} et al., J. UCS 7, No. 1, 19--53 (2001; Zbl 0973.68139) Full Text: Link
Crossley, John; Poernomo, Iman Fred: An approach to generating real, correct, reusable programs from proofs. (English) Zbl 0963.68107 J. UCS 7, No. 1, Spec. Iss., 71-88 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Crossley} and \textit{I. Poernomo}, J. UCS 7, No. 1, 71--88 (2001; Zbl 0963.68107) Full Text: Link
Ruf, Jürgen RAVEN: Real-time analyzing and verification environment. (English) Zbl 0963.68108 J. UCS 7, No. 1, Spec. Iss., 89-105 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Ruf}, J. UCS 7, No. 1, 89--105 (2001; Zbl 0963.68108)
Mullins, John Nondeterministic admissible interference. (English) Zbl 0963.68105 J. UCS 6, No. 11, Spec. Iss., 1054-1070 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Mullins}, J. UCS 6, No. 11, 1054--1070 (2000; Zbl 0963.68105) Full Text: Link
Clark, Robert; Moreira, Ana Use of E-LOTOS in adding formality to UML. (English) Zbl 0963.68106 J. UCS 6, No. 11, Spec. Iss., 1071-1087 (2000). MSC: 68Q60 68N15 PDFBibTeX XMLCite \textit{R. Clark} and \textit{A. Moreira}, J. UCS 6, No. 11, 1071--1087 (2000; Zbl 0963.68106) Full Text: Link
Traoré, Issa An outline of PVS semantics for UML statecharts. (English) Zbl 0963.68102 J. UCS 6, No. 11, Spec. Iss., 1088-1108 (2000). MSC: 68Q55 68Q60 PDFBibTeX XMLCite \textit{I. Traoré}, J. UCS 6, No. 11, 1088--1108 (2000; Zbl 0963.68102)
MacDonald, Anthony; Carrington, David Some elements of \(Z\) specification style: Structuring techniques. (English) Zbl 0967.68109 J. UCS 6, No. 12, 1203-1225 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. MacDonald} and \textit{D. Carrington}, J. UCS 6, No. 12, 1203--1225 (2000; Zbl 0967.68109) Full Text: Link
Diaconescu, Razvan; Futatsugi, Kokichi Behavioural coherence in object-oriented algebraic specification. (English) Zbl 0963.68104 J. UCS 6, No. 1, 74-96 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Diaconescu} and \textit{K. Futatsugi}, J. UCS 6, No. 1, 74--96 (2000; Zbl 0963.68104) Full Text: Link
Gärtner, Felix C. Transformational approaches to the specification and verification of fault-tolerant systems: Formal background and classification. (English) Zbl 0967.68108 J. UCS 5, No. 10, 668-692 (1999). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. C. Gärtner}, J. UCS 5, No. 10, 668--692 (1999; Zbl 0967.68108) Full Text: Link
Soufi, Loutfi Type specification by regular expressions. (English) Zbl 0967.68107 J. UCS 5, No. 9, 622-631 (1999). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{L. Soufi}, J. UCS 5, No. 9, 622--631 (1999; Zbl 0967.68107) Full Text: Link
Mearelli, Luca Refining an ASM specification of the production cell to C++ code. (English) Zbl 0960.68106 J. UCS 3, No. 5, 666-688 (1997). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Mearelli}, J. UCS 3, No. 5, 666--688 (1997; Zbl 0960.68106) Full Text: Link
Kutter, Philipp W.; Pierantonio, Alfonso Montages specifications of realistic programming languages. (English) Zbl 0960.68017 J. UCS 3, No. 5, 416-442 (1997). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{P. W. Kutter} and \textit{A. Pierantonio}, J. UCS 3, No. 5, 416--442 (1997; Zbl 0960.68017) Full Text: Link
Winter, Kirsten Model checking for abstract state machines. (English) Zbl 0960.68071 J. UCS 3, No. 5, 689-701 (1997). MSC: 68Q05 68Q60 PDFBibTeX XMLCite \textit{K. Winter}, J. UCS 3, No. 5, 689--701 (1997; Zbl 0960.68071) Full Text: Link
Börger, Egon; Mearelli, Luca Integrating ASMs into the software development life cycle. (English) Zbl 0971.68051 J. UCS 3, No. 5, 603-665 (1997). MSC: 68Q05 68Q60 PDFBibTeX XMLCite \textit{E. Börger} and \textit{L. Mearelli}, J. UCS 3, No. 5, 603--665 (1997; Zbl 0971.68051) Full Text: Link
Araujo, Lourdes Correctness proof of a distributed implementation of Prolog by means of abstract state machines. (English) Zbl 0960.68019 J. UCS 3, No. 5, 568-602 (1997). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{L. Araujo}, J. UCS 3, No. 5, 568--602 (1997; Zbl 0960.68019) Full Text: Link