Sciweavers

2853 search results - page 166 / 571
» A platform for software engineering research
Sort
View
84
Voted
ICSE
1993
IEEE-ACM
15 years 2 months ago
Formal Approaches to Software Architecture
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
David Garlan
TASE
2007
IEEE
15 years 4 months ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens
72
Voted
AC
2001
Springer
15 years 2 months ago
Machine Learning in Medical Applications
Research in Machine Learning methods to-date remains centered on technological issues and is mostly application driven. This letter summarizes successful applications of machine l...
George D. Magoulas, Andriana Prentza
ICSE
2005
IEEE-ACM
15 years 10 months ago
An empirical study of fault localization for end-user programmers
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rot...
102
Voted
EMSOFT
2011
Springer
13 years 10 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...