×

Found 8 Documents (Results 1–8)

Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness. (English) Zbl 1493.68227

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 595-618 (2021).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Measuring aspect cohesion. (English) Zbl 1129.68419

Wermelinger, Michel (ed.) et al., Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21305-8/pbk). Lecture Notes in Computer Science 2984, 54-68 (2004).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Pipa: A behavioral interface specification language for AspectJ. (English) Zbl 1032.68569

Pezzè, Mauro (ed.), Fundamental approaches to software engineering. 6th international conference FASE 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2621, 150-165 (2003).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: Link

Static dependency analysis for concurrent Ada 95 programs. (English) Zbl 1046.68705

Blieberger, Johann (ed.) et al., Reliable software technologies - Ada-Europe 2002. 7th Ada-Europe international conference, Vienna, Austria, June 17–21, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43784-3). Lect. Notes Comput. Sci. 2361, 219-230 (2002).
MSC:  68U99 68N15
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software