Sciweavers

537 search results - page 34 / 108
» The development process of the UN CEFACT modeling methodolog...
Sort
View
80
Voted
AOSD
2006
ACM
15 years 4 months ago
Using aspects to support the software process: XP over Eclipse
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
Oren Mishali, Shmuel Katz
FM
2009
Springer
153views Formal Methods» more  FM 2009»
14 years 8 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
JCP
2008
128views more  JCP 2008»
14 years 10 months ago
Life Cycle for Change Management in Business Processes using Semantic Technologies
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
Uttam Kumar Tripathi, Knut Hinkelmann, Daniela Fel...
84
Voted
IJCSA
2006
111views more  IJCSA 2006»
14 years 10 months ago
Using DocBook and XML Technologies to Create Adaptive Learning Content in Technical Domains
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
Iván Martínez-Ortiz, Pablo Moreno-Ge...
CCE
2008
14 years 10 months ago
Process scheduling under uncertainty: Review and challenges
Uncertainty is a very important concern in production scheduling since it can cause infeasibilities and production disturbances. Thus scheduling under uncertainty has received a l...
Zukui Li, Marianthi G. Ierapetritou