To access the full text documents, please follow this link: http://hdl.handle.net/2117/170077
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering |
dc.contributor.author | Franch Gutiérrez, Javier |
dc.date | 1997 |
dc.identifier.citation | Franch, X. Including non-functional issues in Anna/Ada programs for automatic implementation selection. A: International Conference on Reliable Software Technologies. "Reliable Software Technologies, Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies: London, UK, June 2-6, 1997: proceedings". Berlín: Springer, 1997, p. 88-99. |
dc.identifier.citation | 978-3-540-63114-9 |
dc.identifier.citation | 10.1007/3-540-63114-3_9 |
dc.identifier.uri | http://hdl.handle.net/2117/170077 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | https://link.springer.com/chapter/10.1007/3-540-63114-3_9 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject | Automatic programming (Computer science) |
dc.subject | Formal methods (Computer science) |
dc.subject | Computer software -- Reliability |
dc.subject | Ada programs |
dc.subject | Automatic implementation selection |
dc.subject | Non-functional issues |
dc.subject | Anna specification language |
dc.subject | Functional specification |
dc.subject | Packages |
dc.subject | Reliability |
dc.subject | Software measurement |
dc.subject | Software quality |
dc.subject | Syntax |
dc.subject | Programació automàtica (Informàtica) |
dc.subject | Mètodes formals (Informàtica) |
dc.subject | Programari -- Fiabilitat |
dc.title | Including non-functional issues in Anna/Ada programs for automatic implementation selection |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |