360 search results - page 25 / 72 » Panel: Perspectives on Software Engineering |
128
click to vote
FOSSACS
2012
Springer
13 years 7 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
IWPSE
2003
IEEE
15 years 5 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
112
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...