4476 search results - page 308 / 896 » Modeling software architectures in the Unified Modeling Lang... |
178
click to vote
REFSQ
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
184
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
186
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
171
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
175
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...