1445 search results - page 153 / 289 » Tool Integration in Software Engineering Environments |
APSEC
2005
IEEE
14 years 3 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...
AMAST
2008
Springer
14 years 4 days 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...
FASE
2008
Springer
13 years 12 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 ...
CBSE
2006
Springer
14 years 1 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...
QOSA
2010
Springer
14 years 1 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...