611 search results - page 17 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
102
click to vote
SSIRI
2010
14 years 10 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
100
click to vote
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
ACSC
2000
IEEE
15 years 3 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
118
click to vote
WWW
2003
ACM
16 years 12 days ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
ICSE
1994
IEEE-ACM
15 years 3 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...