443 search results - page 31 / 89 » A System Development Process with Event-B and the Rodin Plat... |
WISE
2007
Springer
14 years 1 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
SEAA
2008
IEEE
14 years 1 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
DEXAW
2004
IEEE
13 years 10 months ago
2004
IEEE
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
CBSE
2008
Springer
13 years 8 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...