Sciweavers

3819 search results - page 75 / 764
» An Outsourcing Model of Software Development
Sort
View
ICFEM
2009
Springer
15 years 4 months ago
Supporting Reuse of Event-B Developments through Generic Instantiation
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
Renato Silva, Michael Butler
EPK
2004
215views Management» more  EPK 2004»
14 years 11 months ago
ARIS meets RUP: The ARIS Unified Information System Development Process
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
Martin Plümicke
ICSE
2010
IEEE-ACM
15 years 1 months ago
SSG: a model-based development environment for smart, security-aware GUIs
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
Miguel Angel García de Dios, Carolina Dania...
IAT
2006
IEEE
15 years 3 months ago
Goal-Oriented Development of BDI Agents: The PRACTIONIST Approach
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
Vito Morreale, Susanna Bonura, Giuseppe Francavigl...
ICSE
2007
IEEE-ACM
15 years 10 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou