8083 search results - page 151 / 1617 » A Formalization of Software Architecture |
133
click to vote
AAAI
2008
15 years 6 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
152
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
136
click to vote
IUI
1998
ACM
15 years 8 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
128
Voted
FCA
2005
Springer
15 years 9 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
165
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...