Results 261 to 270 of about 1,932,015 (306)
Some of the next articles are maybe not open access.
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
David J. Duke, Michael D. Harrison
openaire +1 more source
Proceedings 1995 Asia Pacific Software Engineering Conference, 2005
Programming In developing an implementation one makes use of a programming language a forrnal language so programming is writing in a formal language. But perhaps this is not what people mean when they use the term formal methocls. At the level of programming people view formal methods in terms of assertions, invariants, variants, and the like.
Hayes, I. +3 more
openaire +3 more sources
Programming In developing an implementation one makes use of a programming language a forrnal language so programming is writing in a formal language. But perhaps this is not what people mean when they use the term formal methocls. At the level of programming people view formal methods in terms of assertions, invariants, variants, and the like.
Hayes, I. +3 more
openaire +3 more sources
Proceedings of the 16th International Software Product Line Conference - Volume 1, 2012
Software product line engineering has brought the mass customization paradigm from manufacturing to the software industry, bearing the promise of delivering individualized software products quickly and at a low unit cost. Although many companies have already successfully achieved this objective, major challenges are still ahead.
openaire +1 more source
Software product line engineering has brought the mass customization paradigm from manufacturing to the software industry, bearing the promise of delivering individualized software products quickly and at a low unit cost. Although many companies have already successfully achieved this objective, major challenges are still ahead.
openaire +1 more source
2011
Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area
Radu Calinescu, Shinji Kikuchi
openaire +1 more source
Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area
Radu Calinescu, Shinji Kikuchi
openaire +1 more source
An Invitation to Formal Methods
Computer, 1996One of the most challenging tasks in software system design is to assure reliability, especially as these systems are increasingly used in sensitive and often life-critical environments such as medical systems, air traffic control, and space applications.
Jonathan P. Bowen +14 more
openaire +1 more source
2004
In this paper we will present an approach for teaching formalisms to Computer Science undergraduate students that has been developed over the past 23 years at the University of Hertfordshire (formerly Hatfield Polytechnic). We discuss the background and the evolution of the approach, the theoretical underpinning, the political motivation and some of ...
Martin J. Loomes +2 more
openaire +1 more source
In this paper we will present an approach for teaching formalisms to Computer Science undergraduate students that has been developed over the past 23 years at the University of Hertfordshire (formerly Hatfield Polytechnic). We discuss the background and the evolution of the approach, the theoretical underpinning, the political motivation and some of ...
Martin J. Loomes +2 more
openaire +1 more source
What is the Method in Formal Methods?
1992Abstract Many of the formal methods that abound in computer science are in fact just formal languages or calculi. They can be used to describe and analyse models of information systems of different complexities and application domains. Only to a much lesser extent are we also provided with methods that tell exactly how these models may be used to ...
openaire +2 more sources
2009
Privacy means something different to everyone. Against a vast and rich canvas of diverse types of privacy rights and violations, we argue technology's dual role in privacy: new technologies raise new threats to privacy rights and new technologies can help preserve privacy.
Michael Carl Tschantz, Jeannette M. Wing
openaire +1 more source
Privacy means something different to everyone. Against a vast and rich canvas of diverse types of privacy rights and violations, we argue technology's dual role in privacy: new technologies raise new threats to privacy rights and new technologies can help preserve privacy.
Michael Carl Tschantz, Jeannette M. Wing
openaire +1 more source
2019
Formal methods are invaluable for reasoning about complex systems. As these techniques and tools have improved in expressiveness and scale, their adoption has grown rapidly. Sustaining this growth, however, requires attention to not only the technical but also the human side.
Shriram Krishnamurthi, Tim Nelson
openaire +1 more source
Formal methods are invaluable for reasoning about complex systems. As these techniques and tools have improved in expressiveness and scale, their adoption has grown rapidly. Sustaining this growth, however, requires attention to not only the technical but also the human side.
Shriram Krishnamurthi, Tim Nelson
openaire +1 more source
2001
Formal methods have offered great benefits, but often at a heavy price. For everyday software development, in which the pressures of the market don't allow full-scale formal methods to be applied, a more lightweight approach is called for. I'll outline an approach that is designed to provide immediate benefit at relatively low cost.
openaire +1 more source
Formal methods have offered great benefits, but often at a heavy price. For everyday software development, in which the pressures of the market don't allow full-scale formal methods to be applied, a more lightweight approach is called for. I'll outline an approach that is designed to provide immediate benefit at relatively low cost.
openaire +1 more source