executable uml seminar

[Bill Clarke]

in light of the recent discussions regarding automatic conversion from
specifications to executable, this seminar on weds arvo may be
interesting.  (you may or may not recall that eVACS is the electronic
voting and counting system developed for the last ACT election)

cheers,
/lib

Title: Department of Computer Science Seminar
Date: Wednesday, Nov. 6, 2002
Time: 4:00 pm to 5:00pm
Venue: Room N101, CSIT Building [108]
Speaker:  Malte Stien (Visitor in DCS at ANU)

Description: Re-Developing the eVACS-System using Executable UML



                              Abstract 



With the Object-Oriented Analysis Shlaer/Mellor Method Sally Shlaer and 
Steven Mellor have introduced a way to capture requirements in a way 
that is independent of programming languages, software designs 
and architectures as well as platforms. Since a couple of years 
tools are available which support  this kind of software development, 
which promises to be more efficient, more reliable and less error prone.
I used the BridgePoint Development Suite to analyse the domain of 
the electronic voting and counting system that has been introduced 
for the  elections for the ACT in 2001. 
The analysis resulted in a Shlaer/Mellor Model which was verified 
in a kind of virtual machine and finally automatically compiled 
to executable code. The code has then be combined with an external GUI 
to result in a re-developed eVACS-System.

URL: http://cs.anu.edu.au/lib/seminars/seminars02/dept20021106
-- 
/lib: Bill Clarke  ResearchScientist CAPResearch DeptCompSci ANU .au
http://llib.cjb.net llib at computer.org  tel:+61-2-6125x5687 fax:x0010
PGPid:B381EE7DB7D3E58F17248C672E2DA124ADADF444 GNU unix LaTeX XPilot
Buffy DrWho Goodies StarTrek XFiles Origami SML SMP MPI mozilla tcsh
Asimov Bear Clarke Donaldson Volleyball Ultimate Cricket emacs C++ X
Jordan Kay Lackey Martin Stasheff DeepPurple H&C KLF Queen PinkFloyd