1579 search results - page 183 / 316 » A software development process supporting non-functional pro... |
168
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
149
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
166
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
162
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
176
click to vote
FAC
2000
15 years 6 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...