2836 search results - page 360 / 568 » Model Checking for Software Architectures |
177
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
152
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
195
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
180
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
175
click to vote
JODS
2006
15 years 6 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...