623 search results - page 9 / 125 » An Algebraic Approach for Managing Inconsistencies in Softwa... |
ADBIS
2005
Springer
14 years 28 days ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
IFM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
FSEN
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
TCS
2002
13 years 7 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...