1445 search results - page 153 / 289 » Tool Integration in Software Engineering Environments |
105
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
123
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
121
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
119
click to vote
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
143
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...