Back to Results
First PageMeta Content
Field / Algebraic specification / Java / APL / Computing / Field theory / Functional languages


Discovering and Debugging Algebraic Specifications for Java Classes by Johannes Henkel
Add to Reading List

Document Date: 2004-05-31 09:46:03

Open Document

File Size: 562,52 KB

Share Result on Facebook

Company

IBM / Henkel / /

Country

United States / /

Facility

Darmstadt University of Technology / University of Colorado / /

IndustryTerm

software engineering students / job search / algebraic specification discovery tool / /

NaturalFeature

Rocky Mountains / /

Organization

Graduate School / Philosophy Department of Computer Science / Darmstadt University of Technology / University of Colorado / /

Person

Martin Hirzel / Gerald Huck / Frank Tip / Vivek Sarkar / William Waite / Matthias Hauswirth / Dirk Grunwald / William Harrison / John Field / Philippe Charles / Ingo Macherius / Daniel von Dincklage / Daniel Connors / Silvia Hollfelder / Wolfgang Henhapl / Marco Gruteser / Bob Schloss / Mark Wegman / James Martin William Waite Alexander Wolf / Christoph Reichenbach / Daniel Connors James Martin William / Michael Burke / Harold Ossher / Peri Tarr / Johannes Henkel Vordiplom / Alexander Wolf / Andre Everts / Amer Diwan / Amer Diwan Daniel Connors James / Ulrik Schroeder / Michael Hind / James Martin / /

Position

advisor / Assistant Professor / supportive manager / algebraic interpreter / algebraic specification interpreter / interpreter / Assistant / /

ProgrammingLanguage

Java / /

ProvinceOrState

Colorado / /

Technology

Java / machine learning / Simulation / /

SocialTag