1148 search results - page 63 / 230 » Software engineering considered harmful |
135
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
We investigate the rewrite relation over graphs induced by constructor-based weakly orthogonal graph rewriting systems. It is well known that this relation is not confluent in gene...
117
Voted
FM
1994
Springer
15 years 8 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
141
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
157
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
137
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...