Sciweavers

4258 search results - page 721 / 852
» Languages and Interactive Software Development
Sort
View
SIGCSE
2006
ACM
183views Education» more  SIGCSE 2006»
15 years 9 months ago
Programming fundamentals and innovation taught through windows media player skin creation
Windows Media Player user interface “skin” creation has proven an extremely effective method to reinforce practical object oriented programming techniques. Skin creation motiv...
Todd Shurn
FDL
2005
IEEE
15 years 8 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
PASTE
2005
ACM
15 years 8 months ago
Automatically generating refactorings to support API evolution
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
Jeff H. Perkins
WWW
2005
ACM
15 years 8 months ago
Hera presentation generator
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
Flavius Frasincar, Geert-Jan Houben, Peter Barna
FASE
2005
Springer
15 years 8 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...