scholarly journals Editoral letter - special issue CIbSE2019

2020 ◽  
Vol 8 ◽  
pp. 4-1 - 4:2
Author(s):  
Isabel Sofia Brito
Keyword(s):  
Software Engineering ◽  
Special Issue

This issue of the JSERD contains seven extended and peer-reviewed papers from the XXII Ibero-American Conference on Software Engineering (CIbSE 2019), which was held in La Habana, Cuba, in April 2019.

scholarly journals Special issue on ‘Program development’

2002 ◽  
Vol 2 (4-5) ◽  
pp. 423-424 ◽  
Author(s):  
MAURICE BRUYNOOGHE ◽  
KUNG-KIU LAU
Keyword(s):  
Software Engineering ◽  
Program Development ◽  
Real World ◽  
Development Process ◽  
Logic Program ◽  
Future Challenge ◽  
Special Issue ◽  
Logical Foundations ◽  
The Past ◽  
Specification Synthesis

This special issue marks the tenth anniversary of the LOPSTR workshop. LOPSTR started in 1991 as a workshop on Logic Program Synthesis and Transformation, but later it broadened its scope to logic-based Program Development in general.The motivating force behind LOPSTR has been a belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Specification, synthesis, transformation or specialisation, analysis, verification and debugging can all be given logical foundations, thus providing a unifying framework for the whole development process.In the past ten years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, verification and specialisation. However, it is fair to say that so far the focus has largely been on programming-in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world.

scholarly journals Guest Editorial: Special Issue on Software Engineering for Mobile Applications

2019 ◽  
Vol 24 (6) ◽  
pp. 3249-3254
Author(s):  
Sebastiano Panichella ◽  
Fabio Palomba ◽  
David Lo ◽  
Meiyappan Nagappan
Keyword(s):  
Software Engineering ◽  
Mobile Applications ◽  
Guest Editorial ◽  
Special Issue ◽  
Editorial Special Issue

Special issue on software engineering for secure systems

2010 ◽  
Vol 29 (3) ◽  
pp. 299-301 ◽  
Author(s):  
Seok-Won Lee ◽  
Mattia Monga
Keyword(s):  
Software Engineering ◽  
Special Issue ◽  
Secure Systems
Sign in / Sign up

Export Citation Format

Share Document