Sciweavers

899 search results - page 54 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
WER
2001
Springer
14 years 1 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
APIN
1999
143views more  APIN 1999»
13 years 8 months ago
Solving Electrical Distribution Problems Using Hybrid Evolutionary Data Analysis Techniques
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
Oscar Cordón, Francisco Herrera, Luciano S&...
SIGSOFT
2004
ACM
14 years 9 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
ICSE
1999
IEEE-ACM
14 years 1 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
IWPC
2005
IEEE
14 years 2 months ago
Theories, Methods and Tools in Program Comprehension: Past, Present and Future
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
Margaret-Anne D. Storey