264 search results - page 15 / 53 » Designing Software Ecosystems: How Can Modeling Techniques H... |
139
click to vote
BELL
2000
15 years 3 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
134
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...
150
click to vote
FM
1991
Springer
15 years 7 months ago
1991
Springer
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...
135
click to vote
JSW
2007
15 years 3 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
136
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...