CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

HATS: Highly Adaptable and Trustworthy Software using Formal Models

Reiner Hähnle (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Computer Science. 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, 18-21 October 2010 (0302-9743). Vol. 6416 (2010), Part 2, p. 3-8.
[Konferensbidrag, refereegranskat]

The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are characterized by high demand on trustworthiness. Existing modeling formalisms leave gap between highly abstract, largely structural models and executable code on the implementation level. HATS aims to close this gap with an object-oriented, executable modeling language for adaptable, concurrent software components. It comes with tool suite based on analysis methods developed hand in hand with the language.

Denna post skapades 2010-10-27. Senast ändrad 2016-07-26.
CPL Pubid: 128205


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)


Datavetenskap (datalogi)

Chalmers infrastruktur