34 search results - page 4 / 7 » Industrial Applications of Software Synthesis via Category T... |
POPL
2005
ACM
14 years 6 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
12 years 1 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
ICSE
2003
IEEE-ACM
13 years 11 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
EMSOFT
2005
Springer
13 years 12 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...