977 search results - page 90 / 196 » Formal methods integration in software engineering |
153
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
150
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
116
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
149
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
129
click to vote
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...