611 search results - page 17 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
135
Voted
SSIRI
2010
15 years 2 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...
132
click to vote
B
2007
Springer
15 years 10 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...
137
click to vote
ACSC
2000
IEEE
15 years 7 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...
164
Voted
WWW
2003
ACM
16 years 4 months 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...
123
Voted
ICSE
1994
IEEE-ACM
15 years 7 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...