Behavioural validation of software engineering artefacts
Software engineering artefacts that define behaviour tend to be of a fragmented nature in order to facilitate their construction, modification, and modular reasoning (e.g. modular code, pre/post-conditions specifications). However, fragmentation makes the validation of global behaviour difficult. Ty...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2010
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04254caa a22005897a 4500 | ||
|---|---|---|---|
| 001 | PAPER-7754 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203731.0 | ||
| 008 | 190411s2010 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-77954695574 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a PCSED | ||
| 100 | 1 | |a De Caso, G. | |
| 245 | 1 | 0 | |a Behavioural validation of software engineering artefacts |
| 260 | |c 2010 | ||
| 270 | 1 | 0 | |m De Caso, G.; Departamento de Computación, FCEyN, Universidad de Buenos Aires, Intendente Güiraldes 2160, Buenos Aires, Argentina; email: gdecaso@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Alur, R., Synthesis of interface specifications for Java classes (2005) POPL, , ACM, January | ||
| 504 | |a Barnett, M., The SpecSharp programming system: An overview (2005) LNCS | ||
| 504 | |a Beyer, D., The software model checker Blast (2007) IJSTTT | ||
| 504 | |a Cook, J.E., Wolf, A.L., Discovering models of software processes from event-based data (1998) ACM TOSEM | ||
| 504 | |a De Caso, G., Validation of contracts using enabledness preserving finite state abstractions (2009) ICSE | ||
| 504 | |a De Moura, L., Bjørner, N., Z3: An efficient SMT solver (2008) TACAS | ||
| 504 | |a Ernst, M., The Daikon system for dynamic detection of likely invariants (2007) SCP | ||
| 504 | |a Grieskamp, W., Kicillof, N., MacDonald, D., Nandan, A., Stobie, K., Wurden, F., Model-based quality assurance of windows protocol documentation (2008) ICST | ||
| 504 | |a Meyer, B., (1992) Applying 'Design by Contract' | ||
| 504 | |a Uribe, T., (1999) Abstraction-based Deductive-algorithmic Verification of Reactive SystemsA4 - Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa | ||
| 520 | 3 | |a Software engineering artefacts that define behaviour tend to be of a fragmented nature in order to facilitate their construction, modification, and modular reasoning (e.g. modular code, pre/post-conditions specifications). However, fragmentation makes the validation of global behaviour difficult. Typically synthesis techniques that yield global representations of large or infinite states are used in combination with simulation or partial explorations, techniques which necessarily lose the global view of system behaviour. I am working on the development of abstraction-for-validation techniques that automatically produce finite state abstractions that are sufficiently small to support validating the emergent behaviour of a fragmented description "at a glance". © 2010 ACM. |l eng | |
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Intendente Güiraldes 2160, Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a CODE UNDERSTANDING |
| 690 | 1 | 0 | |a CONTRACT CONFORMANCE |
| 690 | 1 | 0 | |a BEHAVIOUR MODELS |
| 690 | 1 | 0 | |a CODE UNDERSTANDING |
| 690 | 1 | 0 | |a EMERGENT BEHAVIOURS |
| 690 | 1 | 0 | |a FINITE-STATE ABSTRACTION |
| 690 | 1 | 0 | |a GLOBAL REPRESENTATION |
| 690 | 1 | 0 | |a GLOBAL VIEW |
| 690 | 1 | 0 | |a INFINITE STATE |
| 690 | 1 | 0 | |a MODULAR REASONING |
| 690 | 1 | 0 | |a SYNTHESIS TECHNIQUES |
| 690 | 1 | 0 | |a ABSTRACTING |
| 690 | 1 | 0 | |a COMPUTER SOFTWARE |
| 711 | 2 | |c Cape Town |d 1 May 2010 through 8 May 2010 |g Código de la conferencia: 81137 | |
| 773 | 0 | |d 2010 |g v. 2 |h pp. 505-506 |p Proc Int Conf Software Eng |n Proceedings - International Conference on Software Engineering |x 02705257 |z 9781605587196 |t 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954695574&doi=10.1145%2f1810295.1810453&partnerID=40&md5=c19db35b895974d0e8a49aec49d28a25 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/1810295.1810453 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_02705257_v2_n_p505_DeCaso |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p505_DeCaso |y Registro en la Biblioteca Digital |
| 961 | |a paper_02705257_v2_n_p505_DeCaso |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 68707 | ||