611 search results - page 60 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
119
Voted
TLDI
2009
ACM
16 years 24 days ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
158
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
136
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
142
click to vote
ICSE
1989
IEEE-ACM
15 years 8 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
124
Voted
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...