After having joined forces with CMCS for CALCO′05, WADT takes place in 2006 as an individual workshop and in its traditional format. The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such as object–oriented, logic and higher–order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. <b>Keywords:</b> foundations of algebraic specification<br>other approaches to formal specification, including calculi and models of concurrent, distributed, mobile, and context–aware computing<br>specification languages, methods, and environments (concepts, tools, etc.)<br>semantics of conceptual modelling methods and techniques<br>model–driven development<br>graph transformations, term rewriting and proof systems<br>integration of formal specification techniques<br>formal testing and quality assurance<br>validation and verification<br>
Abbrevation
WADT
City
Chateau Floreal La Roche en Ardenne
Country
Belgium
Deadline Paper
Start Date
End Date
Abstract