447 search results - page 11 / 90 » Similarity for reuse of specifications in communication soft... |
ISN
1999
Springer
14 years 1 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
KBSE
1995
IEEE
14 years 8 days ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
KBSE
1994
IEEE
14 years 25 days ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
EUROMICRO
2002
IEEE
14 years 1 months ago
2002
IEEE
1 Product line engineering is usually a very beneficial, but sometimes also a very risky endeavor, as there is no guarantee for economic success. In this paper, we will describe an...
JOT
2008
13 years 8 months ago
2008
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...