Connectors as designs: modeling, refinement and test case generation (Q433336): Difference between revisions

@@ Property / DOI @@
-.1016/j.scico.2011.04.002
@@ Property / DOI: 10.1016/j.scico.2011.04.002 / rank @@
-Normal rank
@@ Property / author @@
-Q265783
@@ Property / author: Q265783 / rank @@
-Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6055919
@@ Property / zbMATH DE Number: 6055919 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+connector
@@ Property / zbMATH Keywords: connector / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reo circuits
@@ Property / zbMATH Keywords: Reo circuits / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+timed data sequence
@@ Property / zbMATH Keywords: timed data sequence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+design
@@ Property / zbMATH Keywords: design / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refinement
@@ Property / zbMATH Keywords: refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+test case generation
@@ Property / zbMATH Keywords: test case generation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lutess
@@ Property / describes a project that uses: Lutess / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATGen
@@ Property / describes a project that uses: ATGen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2011.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2162326486
@@ Property / OpenAlex ID: W2162326486 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Mutation testing in the refinement calculus
@@ Property / cites work: Mutation testing in the refinement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mutation testing in UTP
@@ Property / cites work: Mutation testing in UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Testing Programs with the Aid of a Compiler
@@ Property / cites work: Testing Programs with the Aid of a Compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-pattern Matching Modulo
@@ Property / cites work: Anti-pattern Matching Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989004
@@ Property / cites work: Q2989004 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471927
@@ Property / cites work: Q4471927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412559
@@ Property / cites work: Q4412559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845499
@@ Property / cites work: Q4845499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.SCICO.2011.04.002
@@ Property / DOI: 10.1016/J.SCICO.2011.04.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:433336