Software engineering for secure systems
No abstract available.
4,951 papers · page 142 of 248
Performing systematic literature reviews in software engineering
Context: Making best use of the growing number of empirical studies in Software Engineering, for making decisions and formulating research questions, requires the ability to construct an objective summary of available research evidence. Adopting a systematic approach to assessing…
Developing and executing java AWT applications on limited devices with TCPTE
The paper describes TCPTE, a framework that supports the development of thin-client applications for mobile devices. By using this framework, Java AWT applications can be executed on a server and their graphical interfaces can be displayed on a remote client. TCPTE combines in a …
P2P file sharing analysis for a better performance
The so-called second generation P2P file-sharing applications have with no doubt a better performance than the first implementations. The most remarkable difference is due to the file division into smaller pieces, where a receiving peer of any piece automatically becomes a new so…
Symbolic model checking of declarative relational models
This paper explores the idea of augmenting traditional model checkers with the expressiveness of a declarative, relational language. The goal is to enable programmers to write very intuitive and compact specifications, in order to allow the automatic verification of more complica…
Web service orchestration with BPEL
No abstract available.
Software engineering for adaptive and self-managing systems
The objective of this workshop is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and self-adaptive systems. The workshop will provide a forum for researchers to share new results, rai…
Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS)
Software is becoming present in every aspect of our lives, pushing us inevitably towards a world of ambient computing systems. Multi-agent systems (MAS) are a prominent technology which facilitates modeling and development of large-scale distributed systems. In recent years, soft…
Workshop description of 4th workshop on software quality (WOSQ)
Cost, schedule and quality are highly correlated factors in software development. They basically form three sides of the same triangle. Beyond a certain point (the "Quality is Free" point), it is difficult to increase the quality without increasing either cost or schedule or both…
Early aspects at ICSE: workshop in aspect-oriented requirements engineering and architecture design
This paper summarizes the Workshop in Aspect-Oriented Requirements Engineering and Architecture Design.
Dynamically discovering likely interface invariants
Dynamic invariant detection is an approach that has received considerable attention in the recent research literature. A natural question arises in languages that separate the interface of a code module from its implementation: does an inferred invariant describe the interface or…
A comparison of communication technologies to support novice team programming
This paper describes an initial investigation of how different conditions for conducting a team programming exercise impact learning. We conducted a series of in-depth case studies on the use of various communication technologies and compared them with face-to-face case studies o…
Evaluating pattern catalogs: the computer games experience
Patterns and pattern catalogs (pattern languages) have been proposed as a mechanism for re-use. Traditionally, patterns have been used to foster design re-use, and generative design patterns have been used to achieve both design and code re-use. In theory, a pattern catalog could…
Instructional design and assessment strategies for teaching global software development: a framework
In the context of increasing pressure to adopt global approaches to software development, the importance of teaching skills for geographically distributed software development (GSD) becomes essential. This paper reports the experience of teaching a course to prepare graduates for…
The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations
Important and yet very difficult process in software development, requirements engineering is plagued with additional challenges in the emergent dynamics of geographically distributed software teams. Our hypothesis is that a mix of lean and rich communication media are needed tow…
Resolving component deployment & configuration challenges for enterprise DRE systems via frameworks & generative techniques
Component-based software engineering (CBSE) is increasingly being adopted for large-scale software systems, particularly for enterprise distributed real-time and embedded (DRE) systems. One of the most challenging-and often most neglected-problems in CBSE for enterprise DRE syste…
Addressing crosscutting deployment and configuration concerns of distributed real-time and embedded systems via aspect-oriented & model-driven software development
Model-driven development (MDD) is gaining importance as an approach to resolving lifecycle challenges of large-scale distributed real-time and embedded (DRE) systems (e.g., avionics mission computing). DRE systems are characterized by their stringent requirements for quality of s…
Backwards-compatible array bounds checking for C with very low overhead
The problem of enforcing correct usage of array and pointer references in C and C++ programs remains unsolved. The approach proposed by Jones and Kelly (extended by Ruwase and Lam) is the only one we know of that does not require significant manual changes to programs, but it has…
MSR 2006: the 3rd international workshop on mining software repositories
No abstract available.
Redesigning legacy applications for the web with UWAT+: a case study
This paper reports on a case study of redesigning a legacy application for the Web using the Ubiquitous Web Applications Design Framework with an extended version of its Transaction Design Model (UWAT+). Web application design methodologies hold the promise of engineering high-qu…