Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under devel...

Description complète

Détails bibliographiques

Collectivité auteur:	International School on Formal Methods for the design of computer :Bertinoro, Italy
Autres auteurs:	Bernardo, Marco (Directeur de la publication), Inverardi, Paola (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2804
Sujets:	Génie logiciel Informatique Langages de programmation Logiciels > Développement Architecture des ordinateurs Structure logique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods for software architectures, Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, advanced lectures, Marco Bernardo, Paola Inverardi (eds.), Berlin, Springer, 2003, 1 vol. (VI-285 p.), Lecture notes in computer science, 3-540-20083-5 • Formal Methods for Software Architectures, Texte imprimé, 9783662178928