23098 search results - page 62 / 4620 » Component Based Development |
VL
2007
IEEE
14 years 1 months ago
2007
IEEE
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
FM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
ER
2007
Springer
14 years 1 months ago
2007
Springer
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...