Sciweavers

1185 search results - page 16 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
BIRTHDAY
2005
Springer
14 years 12 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
SIGSOFT
2010
ACM
14 years 7 months ago
Software intelligence: the future of mining software engineering data
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
Ahmed E. Hassan, Tao Xie
VSTTE
2005
Springer
15 years 3 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
APSEC
2004
IEEE
15 years 1 months ago
Towards Synchronous Collaborative Software Engineering
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
Carl Cook, Neville Churcher, Warwick Irwin
SSR
2001
108views more  SSR 2001»
14 years 11 months ago
The use of mediation and ontology technologies for software component information retrieval
Component Based Development aims at constructing software through the inter-relationship between pre-existing components. However, these components should be bound to a specific a...
Regina M. M. Braga, Marta Mattoso, Cláudia ...