Sciweavers

447 search results - page 49 / 90
» Similarity for reuse of specifications in communication soft...
Sort
View
118
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 4 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
108
Voted
SEFM
2005
IEEE
15 years 6 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
102
Voted
APSEC
2002
IEEE
15 years 5 months ago
On Detection of Gapped Code Clones using Gap Locations
It is generally said that code clone is one of the factors to make software maintenance difficult. A code clone is a code portion in source files that is identical or similar to...
Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, K...
ICOODB
2010
171views Database» more  ICOODB 2010»
14 years 10 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
SIGSOFT
2007
ACM
16 years 1 months ago
Reconciling software configuration management and product data management
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
Germán Vega, Jacky Estublier