Sciweavers

6079 search results - page 85 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 9 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
88
Voted
ISSRE
2008
IEEE
15 years 9 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly
101
Voted
EMSOFT
2009
Springer
15 years 9 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...
104
Voted
CSSE
2008
IEEE
15 years 9 months ago
Sound-Specific Vibration Interface using Digital Signal Processing
Dongju Chi, Donghyun Cho, Sungjin Oh, Kyungkoo Jun...
72
Voted
ISPW
2005
IEEE
15 years 8 months ago
Translation of Nets Within Nets in Cross-organizational Software Process Modeling
JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu, Jian L&uum...