Sciweavers

4917 search results - page 438 / 984
» Software Engineering is Not Computer Science
Sort
View
GI
2004
Springer
15 years 10 months ago
Model-based Middleware for Embedded Systems
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
Chris Salzmann, Martin Thiede, Markus Völter
GI
2004
Springer
15 years 10 months ago
Tuplespace-Based Collaboration for Bluetooth-Enabled Devices in Smart Environments
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
Frank Siegemund, Pascal Keller
GI
2009
Springer
15 years 9 months ago
Perspectives on Tag Clouds for Supporting Reflection in Self-organised Learning
: Tags are popular for organising information in social software based on the personal views of the participants on the information. Tags provide valuable attention meta-data on a ...
Christian Glahn, Marcus Specht, Rob Koper
SPIN
2001
Springer
15 years 9 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
134
Voted
ACMSE
2006
ACM
15 years 8 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey