178 search results - page 28 / 36 » Foundations of a Multi-Paradigm Modelling Tool |
SOPR
1998
13 years 9 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
SEKE
2010
Springer
13 years 8 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
WSC
1997
13 years 11 months ago
1997
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
ICCD
1995
IEEE
14 years 1 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...