منابع مشابه
RICE UNIVERSITY Behavioral Software Contracts by Robert Bruce
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 contract violations. This dissertation explores these issues for contracts that specify the sequential be...
متن کاملComplete Monitors for Behavioral Contracts
A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contracts, it also poses a problem for language designers. Indeed, two distinct semantics have emerged for such method calls, dubbed lax and picky. While lax fails to protect components in certain scenarios, picky may blame an uninv...
متن کاملSoftware Agents and Contracts
In the current economical context, characterized by the existence of a global society, the access to information is crucial for any economical and social development; yet, important technological challenges still remain. The representation, maintenance, and querying of information is a central part of this problem. How can we obtain the adequate information at the adequate time? How can we supp...
متن کاملA Software Change Contracts
Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent work, we had espoused the notion of “change contracts” to express the intended program behavior changes across program versions. Change contracts differ fr...
متن کاملDeployment Contracts for Software Components
Today’s approaches to software architecture mostly regard components to be black boxes with interfaces. A component’s interface is made up of signatures of operations offered by the component. The interface is the only entity visible outside of component. This means that component composition can be done only at the interface level since component’s interiors are hidden in the black box. Althou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2014
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2692915.2632855