1251 search results - page 128 / 251 » A Method for Component-Based Software and System Development |
132
click to vote
SMALLTALK
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
124
Voted
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...
144
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
134
click to vote
FORTEST
2008
15 years 5 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
139
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...