Sciweavers

4917 search results - page 511 / 984
» Software Engineering is Not Computer Science
Sort
View

Book
623views
17 years 25 days ago
Practical Programming in Tcl and Tk
"Tcl is a string-based command language. The language has only a few fundamental constructs and relatively little syntax, which makes it easy to learn. The Tcl syntax is mea...
Ken Jones, Jeff Hobbs
ERSHOV
2003
Springer
15 years 10 months ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
CSE
2009
IEEE
15 years 9 months ago
Privacy-Enhanced Event Scheduling
—Event schedulers, well-known from groupware and social software, typically share the problem that they disclose detailed availability patterns of their users. This paper disting...
Benjamin Kellermann, Rainer Böhme
WSKS
2009
Springer
15 years 9 months ago
An Eclipse GMF Tool for Modelling User Interaction
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
Jesús Manuel Almendros-Jiménez, Luis...
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
15 years 6 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm