door Marco Bernardo, Paola Inverardi · Springer · tapa blanda · ISBN 9783540200833
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Formal Methods for Software Architectures» is het conferentievolume, geredigeerd door Marco Bernardo en Paola Inverardi, in paperback, uitgegeven door Springer.
Softwarearchitectuur is centraal geworden in de ontwikkeling van complexe systemen, toegepast van vereistenanalyse tot uitvoering. Dit volume brengt tutoriallezingen over formele methoden samen: modellering en analyse van componenten en connectoren, correcte assemblage, evolutie, mobiel computergebruik, prestaties en betrouwbaarheid.
Volume 2804 van de serie Lecture Notes in Computer Science. Komt overeen met de Derde Internationale School SFM 2003, gehouden in Bertinoro (Italië) in september 2003.
Bedoeld voor studenten van gevorderde cursussen softwarearchitectuur en voor ingenieurs die formele technieken in hun dagelijkse werk gebruiken.
