Sciweavers

4917 search results - page 806 / 984
» Software Engineering is Not Computer Science
Sort
View
SAC
2009
ACM
15 years 11 months ago
Management of requirements in ERP development: a comparison between proprietary and open source ERP
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
Björn Johansson, Rogério Atem de Carva...
MIG
2009
Springer
15 years 10 months ago
An Open Framework for Developing, Evaluating, and Sharing Steering Algorithms
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
Shawn Singh, Mubbasir Kapadia, Petros Faloutsos, G...
ESEC
1997
Springer
15 years 10 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 10 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
CASES
2006
ACM
15 years 10 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks