612 search results - page 48 / 123 » Division for Foundation of Software |
164
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
120
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
132
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
The agile process approach used in software engineering was adapted as a foundation for the management of the multimedia art installation project titled "Trigger." By be...
117
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...