Sciweavers

1574 search results - page 40 / 315
» Integrated Tools for Performance-Oriented Distributed Softwa...
Sort
View
COMPSAC
1997
IEEE
15 years 8 months ago
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
Xiaoping Jia
116
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
150
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
Developing and Managing Software Components in an Ontology-Based Application Server
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
Daniel Oberle, Andreas Eberhart, Steffen Staab, Ra...
112
Voted
KBSE
2006
IEEE
15 years 9 months ago
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
The widespread adoption of Free and Open Source Software (FOSS) in many strategic contexts of the information technology society has drawn the attention on the issues regarding ho...
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, ...
CSUR
2008
351views more  CSUR 2008»
15 years 3 months ago
Process-centered review of object oriented software development methodologies
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
Raman Ramsin, Richard F. Paige