9974 search results - page 359 / 1995 » Software Interconnection Models |
186
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
185
click to vote
WEBENG
2001
Springer
15 years 11 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
165
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...
203
click to vote
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
198
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...