1251 search results - page 106 / 251 » A Method for Component-Based Software and System Development |
129
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
113
click to vote
UML
2004
Springer
15 years 8 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
134
click to vote
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...
146
click to vote
KCAP
2005
ACM
15 years 8 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
147
click to vote
LION
2010
Springer
15 years 8 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...