Sciweavers

852 search results - page 39 / 171
» Refactoring module structure
Sort
View
VMCAI
2005
Springer
14 years 3 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
LPNMR
2007
Springer
14 years 4 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
COLING
2002
13 years 9 months ago
A Complete Integrated NLG System Using AI and NLU Tools
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
Laurence Danlos, Adil El Ghali
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
13 years 8 months ago
Fluidic manipulation for scalable stochastic 3D assembly of modular robots
—One of the grand challenges of self-reconfiguring modular robotics is the assembly of a functional system from thousands of components. However, to date, only systems comprised ...
Michael Thomas Tolley, Hod Lipson
ICSE
1997
IEEE-ACM
14 years 2 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting