Improving software inspections by using reading techniques (tutorial session)
No abstract available.
4,951 papers · page 183 of 248
No abstract available.
GenVoca PLA designs have been created for diverse domains: 2-way radios, extensible compilers, communication protocols, command-and-control fire support, avionics, and matrix computation libraries [7]. GenVoca designs are used in industry; its central concepts relate a wide varie…
S.791
The paper presents an approach to derive test plans for the conformance testing of a system implementation with respect to the formal description of its Software Architecture (SA). The SA describes a system in terms of its components and connections, therefore the derived test pl…
Past ICSE attendees will recognize—with pleasure, we hope—workshops that have been successful in previous years. Indeed, we have tried to balance the program between workshops based on novel and promising ideas, with those strongly continuing the work started in previous ICSEs. I…
select a product from among alternative products
Article E-Slate: a software architectural style for end-user programming Share on Authors: George Birbilis Computer Technology Institute, Riga Feraiou 61, Patras 262 21, Greece Computer Technology Institute, Riga Feraiou 61, Patras 262 21, GreeceView Profile , Manolis Koutlis Com…
Software is the fuel of the world's new economy. Software has been used to create new markets, heal the human body, explore distant worlds, and bring individuals into community. Software transcends all political boundaries, consumes few resources in its execution, and permits the…
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of problem-solving knowledge. Developers seeking a quick answer to a problem find these archives inconvenien…
Delivering a software product on time, within budget, and to an agreed level of quality is a critical concern for many software organizations. Underestimating software costs can have detrimental effects on the quality of the delivered software and thus on a company's business rep…
This paper considers the impact and role of the 'engineering' metaphor, and argues that it is time to reconsider its impact on software development practice.
We present a specification language called Action Language for model checking software specifications. Action Language forms an interface between transition system models that a model checker generates and high level specification languages such as Statecharts, RSML and SCR—simil…
This paper describes the on going experience of Caliò Informatica Srl in a project of Process Improvement Experiment (PIE) sponsored by the Community's ESSI (European Systems and Software Initiative) program. The experiment concerns the improvement of two primary Software Life Cy…
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step,” which is the focal point for coordination…
At the turn of the millennium, the revolution in information technology has ushered in a new economy. This economy, originated in the United States, and more specifically in the American West Coast, is spreading throughout the world, in an uneven, yet dynamic pattern. It is essen…
Software developers are increasingly exploiting the Web as a document management system. However, the Web has some limitations, since it is not aware of the structure and semantics associated to pieces of information (e.g., the fact that a document is a requirement specification)…
No abstract available.
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, it is also impossible to know exactly what flexibility to build into a system. Design patterns are oft…
Over a five year period the Applied Science & Technology group of IBM's Hursley Laboratory in England turned itself from a fully-funded research organisation into an entirely self-funded technology transfer group. Much practical experience and insight was gained into the question…
Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many systems. We address three related problems in this paper. First, we lack needed models. Second, we do n…