Sciweavers

3357 search results - page 243 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
VLDB
1992
ACM
138views Database» more  VLDB 1992»
15 years 10 months ago
Experiences With an Object Manager for a Process-Centered Environment
Process-centered software engineering environments, such as Arcadia, impose a variety of requirements on database technology that to date have not been well supported by available...
Dennis Heimbigner
WSC
2000
15 years 8 months ago
Use of discrete event simulation to validate an agent based scheduling engine
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
Shubhabrata Biswas, Sara Merchawi
BIRTHDAY
2007
Springer
16 years 23 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
WER
2004
Springer
15 years 12 months ago
Integrating Natural Language Oriented Requirements Models into MDA
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
Maria Carmen Leonardi, María Virginia Mauco
CE
2007
99views more  CE 2007»
15 years 6 months ago
Contextual learning theory: Concrete form and a software prototype to improve early education
In Ôcontextual learning theoryÕ three types of contextual conditions (differentiation of learning procedures and materials, integrated ICT support, and improvement of developme...
Ton Mooij