4919 search results - page 493 / 984 » A Process-Ontological Model for Software Engineering |
200
click to vote
ETFA
2006
IEEE
16 years 28 days ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
180
click to vote
ESOP
2005
Springer
16 years 12 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
159
click to vote
PROFES
2005
Springer
16 years 11 days ago
2005
Springer
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...
206
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
169
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...