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 | 04088caa a22005777a 4500 | ||
|---|---|---|---|
| 001 | PAPER-7753 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203731.0 | ||
| 008 | 190411s2010 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-77954726975 | |
| 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 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 Ernst, M., The Daikon system for dynamic detection of likely invariants (2007) Science of Computer Programming | ||
| 504 | |a Grieskamp, W., Action machines: A framework for encoding and composing partial behaviors (2006) IJSEKE | ||
| 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 and potentially infinite states are used in combination with simulation, animation or partial explorations, tecniques which necesarily loose the global view of system behaviour. I aim to develop 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 ANIMATION |
| 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. 335-336 |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-77954726975&doi=10.1145%2f1810295.1810380&partnerID=40&md5=86ee2467757421f271a611231805978c |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/1810295.1810380 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_02705257_v2_n_p335_DeCaso |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v2_n_p335_DeCaso |y Registro en la Biblioteca Digital |
| 961 | |a paper_02705257_v2_n_p335_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 68706 | ||