872 search results - page 129 / 175 » Using Plans to Automate Software Applications |
NLDB
2010
Springer
14 years 23 days ago
2010
Springer
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
FASE
2009
Springer
14 years 20 days ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
ASE
2005
13 years 8 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...