317 search results - page 38 / 64 » Frameworks: the future of formal software development |
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
SEMWEB
2001
Springer
14 years 2 days ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
REFSQ
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
COBUILD
1998
Springer
13 years 12 months ago
1998
Springer
This paper will discuss the future use of the dwelling as a place for cooperative work. It is our opinion that the development of the communication technologies and the architectur...