Sciweavers

1185 search results - page 16 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
BIRTHDAY
2005
Springer
15 years 1 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 9 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 5 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 3 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»
15 years 1 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 ...