1185 search results - page 78 / 237 » Enhancement of Development Technologies for Agent-Based Soft... |
170
click to vote
RTAS
2005
IEEE
16 years 6 days ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
174
click to vote
ICWE
2005
Springer
16 years 4 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
158
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
173
click to vote
SOSE
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
146
click to vote
EWSA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...