1481 search results - page 50 / 297 » Enriching the Software Development Process by Formal Methods |
144
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
142
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
118
click to vote
CTW
2006
15 years 3 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
132
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
141
click to vote
ICFEM
1998
Springer
15 years 6 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...