e-Informatica - Volume 1

e-Informatica Software Engineering Journal - Volume 1, Issue 1, 2007#

Editorial#

TitleEmpirical Evaluation of Novel Approaches to Software Engineering
AuthorsZbigniew Huzar, Lech Madeyski
DownloadPDF(info), BibTeX(info)

Articles#

TitleAgile Methods and CMMI: Compatibility or Conflict?
AuthorsMartin Fritzsche, Patrick Keil
AbstractDuring the last years, agile methods like eXtreme Programming have become increasingly popular. Parallel to this, more and more organizations rely on process maturity models to assess and improve their own processes or those of suppliers, since it has been getting clear that most project failures can be imputed to inconsistent, undisciplined processes. Many organizations demand CMMI compliance of projects where agile methods are employed.
In this situation it is necessary to analyze the interrelations and mutual restrictions between agile methods and approaches for software process analysis and improvement. This paper analyzes to what extent the CMMI process areas can be covered by XP and where adjustments of XP have to be made. Based on this, we describe the limitations of CMMI in an agile environment and show that level 4 or 5 are not feasible under the current specifications of CMMI and XP.
DownloadPDF(info), BibTeX(info)

TitleAn Empirical Evaluation of Refactoring
AuthorsDirk Wilking, Umar Farooq Kahn, Stefan Kowalewski
AbstractThis paper presents a process evaluation for the agile technique of refactoring based on the language C. The basis for this evaluation is made up by an experiment which is targeted on the aspects of increased maintainability and modifiability. Although the maintainability test shows a slight advantage for refactoring, results show no significant strength here. Concerning modifiability, the overhead of applying refactoring appears to even weaken other, positive effects. The analysis of secondary variables provides hints on advantages of the refactoring technique like reduced resource consumption and a reduced occurrence of complicated control structures.
DownloadPDF(info), BibTeX(info)

TitleProgramming in the eXtreme: Critical characteristics of Agile implementations
AuthorsGerald DeHondt II, Alan Brandyberry
AbstractThe prevalence of systems development project failures has been well documented. eXtreme Programming (XP) is a software development methodology that seeks to eliminate many of the shortcomings of cumbersome life cycle oriented traditional methodologies. We explore some of the basic tenets of XP and Agile methodologies and present the thoughts of two of the proponents and early participants in the "Agile revolution", Chet Hendrickson and Ron Jeffries. We analyze this interview utilizing an interpretive field study employing a hermeneutical circle technique. Our analysis suggests some of the characteristics of XP implementations are more critical than others. We propose a more concrete definition of what XP represents and suggest areas for future research.
DownloadPDF(info), BibTeX(info)

TitleA User-Centered Approach to Modeling BPEL Business Processes Using SUCD Use Cases
AuthorsMohamed El-Attar, James Miller
AbstractBPEL is being widely used to specify business processes through the orchestration, composition and coordination of web services. It is now common practice to begin the process of modeling the "workflows" within a set of BPEL business processes using UML Activity Diagrams since they can be automatically mapped down onto BPEL code. However activity diagrams were not intended to explicitly model user goals and interactions with external systems offering web services. However, since the chief purpose of BPEL business processes is to first and foremost provide services to their users, using activity diagram modeling alone will not allow an E-commerce analyst to explicitly capture and model the users' goals. In this paper we propose an approach to solve this issue; initially model BPEL business processes using Use Cases to capture users' perspective, and to systematically develop activity diagrams from Use Case models. A Travel Agency system case study is presented illustrates the feasibility of the proposed approach.
DownloadPDF(info), BibTeX(info)

TitleProgram Verifications, Object Interdependencies, and Object Types
AuthorsCong-Cong Xing
AbstractObject types are abstract specifications of object behaviors; object behaviors are abstractly indicated by object component interdependencies; and program verifications are based on object behaviors. In conventional object type systems, object component interdependencies are not taken into account. As a result, distinct behaviors of objects are confused in conventional object type systems, which can lead to fundamental typing/subtyping loopholes and program verification troubles. In this paper, we first identify a program verification problem which is caused by the loose conventional object typing/subtyping which is in turn caused by the overlooking of object component interdependencies. Then, as a new object typing scheme, we introduce object type graphs (OTG) in which object component interdependencies are integrated into object types. Finally, we show how the problem existing in conventional object type systems can be easily resolved under OTG.
DownloadPDF(info), BibTeX(info)

Announcements#

TitleInformatics Europe
AuthorsBertrand Meyer
DownloadPDF(info)

TitleThe Short Story of SDC Wroclaw – Two Software Development Centers at the Oder River
AuthorsSiemens
DownloadPDF(info)
« Ta strona (wersja 1.) została ostatnio zmieniona przez NieznanyAutor dnia 27-Mar-2009 04:26