Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,921
Applying design by contract
- IEEE Computer
, 1992
"... Reliability is even more important in object-oriented programming than elsewhere. This article shows how to reduce bugs by building software components on the basis of carefully designed contracts. 40 s object-oriented techniques steadily gain ground in the world of software development. users and p ..."
Abstract
-
Cited by 798 (7 self)
- Add to MetaCart
Reliability is even more important in object-oriented programming than elsewhere. This article shows how to reduce bugs by building software components on the basis of carefully designed contracts. 40 s object-oriented techniques steadily gain ground in the world of software development. users
Improving Object Oriented Software Contracts
, 2011
"... Industrial-scale software is commonly very large and complex, making it difficult and time-consuming to develop. In order to manage complexity in software, developers break systems into smaller components which can be developed independently. Software contracts were first proposed several decades ag ..."
Abstract
- Add to MetaCart
Industrial-scale software is commonly very large and complex, making it difficult and time-consuming to develop. In order to manage complexity in software, developers break systems into smaller components which can be developed independently. Software contracts were first proposed several decades
Behavioral Software Contracts
, 2002
"... To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party's obligations. To ensure that both sides meet their obligations, they must also agree on standards for monitoring contracts and assigning blame for con ..."
Abstract
-
Cited by 7 (0 self)
- Add to MetaCart
To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party's obligations. To ensure that both sides meet their obligations, they must also agree on standards for monitoring contracts and assigning blame
Specification and Checking of Software Contracts for Conditional Information Flow
, 2007
"... Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are conditional in the sense that data is allowed to flow between system components only when the system satisfies certain state predicat ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
of the SPARK information flow annotation language that enables specification, inferring, and compositional checking of conditional information flow contracts. We report on the use of this framework for a collection of SPARK examples.
On Extracting a Design out of Software Contracts using Model Transformations
"... Abstract. A software contract specifies the behavior of an operation, focusing on its effect on the system state, and can be used as a basis to design a realization of such behavior. In object-oriented software development, software contracts are often used during analysis for specifying system leve ..."
Abstract
- Add to MetaCart
Abstract. A software contract specifies the behavior of an operation, focusing on its effect on the system state, and can be used as a basis to design a realization of such behavior. In object-oriented software development, software contracts are often used during analysis for specifying system
Extending a Method of Devising Software Contracts
, 1999
"... Classes in object-oriented programs can be specified using assertions, specifically, preconditions and postconditions on individual methods and invariants on whole classes. Such assertions can be seen as forming a contract between a class and its client classes and, by extension, between the develop ..."
Abstract
- Add to MetaCart
Classes in object-oriented programs can be specified using assertions, specifically, preconditions and postconditions on individual methods and invariants on whole classes. Such assertions can be seen as forming a contract between a class and its client classes and, by extension, between
CMSC33600: Type Systems for Programming Languages – Survey Paper Software Contracts: A Way to Enrich Type Systems
"... As safe languages are becoming popular mainly because of software reliability and security concerns, more properties of the software system need to be checked before it runs. However, there are some properties that can not be checked by the conventional type systems, so various approaches that can v ..."
Abstract
- Add to MetaCart
verify those properties have been developed. In this survey paper, those approaches will be introduced. Firstly, two recent theoretical works on software contracts will be discussed. Software contracts are believed to help programmers verify program invariants that the conventional type system cannot
Static Scheduling Algorithms for Allocating Directed Task Graphs to Multiprocessors
, 1999
"... Devices]: Modes of Computation---Parallelism and concurrency General Terms: Algorithms, Design, Performance, Theory Additional Key Words and Phrases: Automatic parallelization, DAG, multiprocessors, parallel processing, software tools, static scheduling, task graphs This research was supported ..."
Abstract
-
Cited by 326 (5 self)
- Add to MetaCart
Devices]: Modes of Computation---Parallelism and concurrency General Terms: Algorithms, Design, Performance, Theory Additional Key Words and Phrases: Automatic parallelization, DAG, multiprocessors, parallel processing, software tools, static scheduling, task graphs This research was supported
Baring it all to software: Raw machines
, 1997
"... this article. This project is funded by US Defense Advanced Research Projects Agency contract DABT63-96-C-0036 and a National Science Foundation Presidential Young Investigator Award. Ikos Systems donated the VirtuaLogic emulation system. References ..."
Abstract
-
Cited by 222 (20 self)
- Add to MetaCart
this article. This project is funded by US Defense Advanced Research Projects Agency contract DABT63-96-C-0036 and a National Science Foundation Presidential Young Investigator Award. Ikos Systems donated the VirtuaLogic emulation system. References
Weak Ordering -- A New Definition
, 1990
"... A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory accesses will appear to execute atomically and in program order. An alternative model, weak ordering, offers greater perfor ..."
Abstract
-
Cited by 260 (14 self)
- Add to MetaCart
about weaker memory, or even write buffers. Following this hypothesis, we re-define weak ordering as a contract between software and hardware. By this contract, software agrees to some formally specified constraints, and hardware agrees to appear sequentially consistent to at least the software
Results 1 - 10
of
1,921
