Sciweavers

4245 search results - page 69 / 849
» Integrating Software by Integrating People
Sort
View
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
ICFEM
1998
Springer
15 years 10 months ago
Defining Differentiation and Integration in Z
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
ECIS
2004
15 years 7 months ago
Evaluating integration approaches benefits adopted by healthcare organisations
Healthcare organizations consist of a large number of disparate information systems (IS). These have been deployed to support specific needs of healthcare organisations. The infor...
Khalil Khoumbati, Marinos Themistocleous, Zahir Ir...
ICSEA
2009
IEEE
15 years 3 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
INFSOF
2008
108views more  INFSOF 2008»
15 years 6 months ago
Effectively utilizing project, product and process knowledge
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
Christof Ebert, Jozef De Man