Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157362578> ?p ?o ?g. }
- W2157362578 abstract "This thesis presents a system for reducing the cost of developing algebraic specifications for Java classes. The system consists of two components: an algebraic specification discovery tool and an algebraic interpreter. The first tool automatically discovers algebraic specifications from Java classes. The tool generates tests and captures the information it observes during their execution as algebraic axioms. In practice, this tool is accurate, but not complete. Still, the discovered specifications are a good starting point for writing a specification. The second component of our system is the algebraic specification interpreter, which helps developers in achieving specification completeness. Given an algebraic specification of a class, the interpreter generates a rapid prototype which can be used within an application just like any regular Java class. When running an application that uses the rapid prototype, the interpreter prints error messages that tell the developer in which way the specification is incomplete. We validate evaluate the performance of our tools and present case studies that demonstrate the usefulness of the approach." @default.
- W2157362578 created "2016-06-24" @default.
- W2157362578 creator A5036568062 @default.
- W2157362578 creator A5059100099 @default.
- W2157362578 date "2004-01-01" @default.
- W2157362578 modified "2023-09-26" @default.
- W2157362578 title "Discovering and debugging algebraic specifications for java classes" @default.
- W2157362578 cites W133354355 @default.
- W2157362578 cites W144724653 @default.
- W2157362578 cites W1492324553 @default.
- W2157362578 cites W1508357244 @default.
- W2157362578 cites W1514468887 @default.
- W2157362578 cites W1521711401 @default.
- W2157362578 cites W1536265389 @default.
- W2157362578 cites W1553894716 @default.
- W2157362578 cites W1556247398 @default.
- W2157362578 cites W1575399282 @default.
- W2157362578 cites W1590958117 @default.
- W2157362578 cites W1637866372 @default.
- W2157362578 cites W1647622147 @default.
- W2157362578 cites W166170480 @default.
- W2157362578 cites W1670928054 @default.
- W2157362578 cites W1983119041 @default.
- W2157362578 cites W1983520997 @default.
- W2157362578 cites W1987187562 @default.
- W2157362578 cites W1991837261 @default.
- W2157362578 cites W1993836075 @default.
- W2157362578 cites W2006267758 @default.
- W2157362578 cites W2019363670 @default.
- W2157362578 cites W2026387030 @default.
- W2157362578 cites W2035625685 @default.
- W2157362578 cites W2039683780 @default.
- W2157362578 cites W2040913826 @default.
- W2157362578 cites W2045112813 @default.
- W2157362578 cites W2045373010 @default.
- W2157362578 cites W2051793989 @default.
- W2157362578 cites W2055856946 @default.
- W2157362578 cites W2056168527 @default.
- W2157362578 cites W2060440626 @default.
- W2157362578 cites W2061079066 @default.
- W2157362578 cites W2062871376 @default.
- W2157362578 cites W2069362004 @default.
- W2157362578 cites W2074407326 @default.
- W2157362578 cites W2076242896 @default.
- W2157362578 cites W2083411793 @default.
- W2157362578 cites W2086970510 @default.
- W2157362578 cites W2090943474 @default.
- W2157362578 cites W2092386826 @default.
- W2157362578 cites W2094080019 @default.
- W2157362578 cites W2112717272 @default.
- W2157362578 cites W2112925845 @default.
- W2157362578 cites W2114067856 @default.
- W2157362578 cites W2115224143 @default.
- W2157362578 cites W2116409384 @default.
- W2157362578 cites W2116973066 @default.
- W2157362578 cites W2118542736 @default.
- W2157362578 cites W2119803011 @default.
- W2157362578 cites W2121059325 @default.
- W2157362578 cites W2124970417 @default.
- W2157362578 cites W2126499694 @default.
- W2157362578 cites W2130560480 @default.
- W2157362578 cites W2131958170 @default.
- W2157362578 cites W2134338128 @default.
- W2157362578 cites W2142273740 @default.
- W2157362578 cites W2142554897 @default.
- W2157362578 cites W2148418519 @default.
- W2157362578 cites W2154897437 @default.
- W2157362578 cites W2157888382 @default.
- W2157362578 cites W2160307932 @default.
- W2157362578 cites W2160518447 @default.
- W2157362578 cites W2162120832 @default.
- W2157362578 cites W2162661340 @default.
- W2157362578 cites W2163319971 @default.
- W2157362578 cites W2167499589 @default.
- W2157362578 cites W2170108788 @default.
- W2157362578 cites W2171207016 @default.
- W2157362578 cites W2230407679 @default.
- W2157362578 cites W2248168004 @default.
- W2157362578 cites W2613154132 @default.
- W2157362578 cites W2987907651 @default.
- W2157362578 cites W3106729728 @default.
- W2157362578 cites W3146075203 @default.
- W2157362578 cites W80604035 @default.
- W2157362578 cites W9614445 @default.
- W2157362578 hasPublicationYear "2004" @default.
- W2157362578 type Work @default.
- W2157362578 sameAs 2157362578 @default.
- W2157362578 citedByCount "0" @default.
- W2157362578 crossrefType "journal-article" @default.
- W2157362578 hasAuthorship W2157362578A5036568062 @default.
- W2157362578 hasAuthorship W2157362578A5059100099 @default.
- W2157362578 hasConcept C116253237 @default.
- W2157362578 hasConcept C122783720 @default.
- W2157362578 hasConcept C132106392 @default.
- W2157362578 hasConcept C134306372 @default.
- W2157362578 hasConcept C154945302 @default.
- W2157362578 hasConcept C167729594 @default.
- W2157362578 hasConcept C168065819 @default.
- W2157362578 hasConcept C168702491 @default.
- W2157362578 hasConcept C199360897 @default.