977 search results - page 129 / 196 » Formal methods integration in software engineering |
121
click to vote
LDTA
2010
15 years 4 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
118
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
138
click to vote
SAC
2009
ACM
15 years 11 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...
140
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
163
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...