Buscar
Mostrando ítems 11-20 de 1354
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Filosofía de la ingeniería: una disciplina profesional en construcciónPhilosophy of engineering: building a professional discipline
(Corporación Universidad de la Costa, 2018)
The Teaching of Gas Dynamics in the National University of Cordoba - UNC
(IJMCER, 2020-10)
This paper presents the teaching and research activities carried out at the National University of Cordoba (UNC) on issues directly related to Gas Dynamics. Currently, this University offers three courses on this subject: ...
Agrupamientos en Glosarios del Universo de Discurso
(Universidad Tecnológica Nacional, 2018)
Ingeniería, matemáticas y competencias / Engineering, mathematics and competences
(Universidad de Costa Rica, 2014)
Possibilities for interdisciplinary software engineering education using problem-based learning (Pbl) and its social impacts
(Universidade Tecnológica Federal do Paraná (UTFPR), 2018)
Do concern mining tools really help requirements analysts? An empirical study of the vetting process
(Elsevier Science Inc, 2019-10)
Software requirements are often described in natural language because they are useful to communicate and validate. Due to their focus on particular facets of a system, this kind of specifications tends to keep relevant ...
FVS: A declarative aspect oriented modeling language
(Sociedad Argentina de Informática E Investigación Operativa, 2011-04)
Very well known problems such as the fragility problem, the AOP paradox, or the aspect interference problem threaten aspect oriented application in the modeling phase. In this work we explore FVS, a declarative visual ...
Teaching Software Engineering from a Collaborative Perspective: Some Latin-American Experiences
(09/03/2010)
Teaching software engineering has been recognized as an important challenge for computer science undergraduate programs. Instruction in such area requires not only to deliver theoretical knowledge, but also to perform ...