Sciweavers

161 search results - page 2 / 33
» A logic-based approach for real-time object-oriented softwar...
Sort
View
FTDCS
1999
IEEE
13 years 9 months ago
Integration of Object-Oriented Software Components for Distributed Application Software Development
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
Stephen S. Yau, Fariaz Karim
COMPSAC
1997
IEEE
13 years 9 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
ISORC
1998
IEEE
13 years 9 months ago
An Approach to Distributed Component-Based Real-Time Application Software Development
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
Stephen S. Yau, Bing Xia
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
13 years 11 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
JOT
2008
92views more  JOT 2008»
13 years 5 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...