9974 search results - page 447 / 1995 » Software Interconnection Models |
156
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
155
click to vote
WCRE
1996
IEEE
15 years 11 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
150
Voted
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
206
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
174
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...