4919 search results - page 768 / 984 » A Process-Ontological Model for Software Engineering |
156
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
139
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
128
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
129
Voted
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
123
Voted
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...