4895 search results - page 151 / 979 » Tools for Grammar Engineering |
ECBS
2006
IEEE
15 years 1 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
BIRTHDAY
2005
Springer
15 years 1 days ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
MSV
2004
14 years 11 months ago
2004
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
DLOG
1997
14 years 11 months ago
1997
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...