1099 search results - page 141 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
FSEN
2009
Springer
15 years 3 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
CPE
2003
Springer
15 years 5 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
102
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
CT As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requ...