Open assessment
Budgetrahmen
300 - 800 EUR
Ende der Angebotsphase
Geschlossen
Notwendige Expertise
Web & Programmierung,
Softwaretests
Zusätzlich
notwendige Expertise
notwendige Expertise
knowledge of z notations, formal methods
z/eves programming
z/eves programming
Beschreibung
For the open assessment, given the specification of a software system. Parts of this description have been omitted, and must be filled in so that the resulting specification parses, type-checks, and can be successfully animated to demonstrate compliance with the software's requirements.
Projekttyp
Festpreis
Vertraulichkeit
Meine Projektausschreibung soll für alle Besucher von twago und in Suchmaschinen (z.B. Google) sichtbar sein.
Implementation
18.02.2011 - 04.03.2011
Ausschreibungsdetails
Die Angebote sollen öffentlich sichtbar sein.
Alle Fragen und Antworten
4 Personen folgen dem Projekt
Sie haben Fragen zum Projekt? Stellen Sie hier Ihre Fragen. Der Kunde antwortet hier ebenfalls, um allen die gleichen Informationen zu geben. Bitte geben Sie hier keine Kontaktdaten an. Inhalte, bei denen es nicht um Projektdetails geht, werden gelöscht.
Sie möchten den Kunden direkt anschreiben? Bitte geben Sie zuerst Ihr Angebot ab. Ihr Angebot ist unverbindlich und jederzeit aktualisierbar. Anschließend können Sie mit dem Kunden persönlich kommunizieren.
twago Nutzer
Vor 1 Jahr
Could you please give us more detailed information about the project and the tasks involved. What kind of software, written in which language, what are the business cases, environment, ...
Auftraggeber
Vor 1 Jahr
I have added some similar task from the previous year Specification should be written in Z/eves language and animated in ProB
Sie wollen für das Projekt arbeiten?
Registrieren Sie sich auf twago und geben Sie Ihr Angebot ab.
Sie möchten einen Experten finden?
Schreiben Sie Ihr Projekt aus und finden Sie die passenden Experten.
