Sciweavers

6079 search results - page 85 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 10 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ö...
ISSRE
2008
IEEE
15 years 10 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly
113
Voted
EMSOFT
2009
Springer
15 years 10 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...
CSSE
2008
IEEE
15 years 10 months ago
Sound-Specific Vibration Interface using Digital Signal Processing
Dongju Chi, Donghyun Cho, Sungjin Oh, Kyungkoo Jun...
83
Voted
ISPW
2005
IEEE
15 years 9 months ago
Translation of Nets Within Nets in Cross-organizational Software Process Modeling
JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu, Jian L&uum...