3837 search results - page 188 / 768 » Concurrent Engineering support in Software Engineering |
113
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
156
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...
124
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
118
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
138
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...