Sciweavers

848 search results - page 24 / 170
» A Formal Monitoring-Based Framework for Software Development...
Sort
View
CAISE
2004
Springer
14 years 2 months ago
A preliminary comparative feature analysis of multi-agent systems development methodologies
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
Quynh-Nhu Numi Tran, Graham Low, Mary-Anne William...
IEEEICCI
2002
IEEE
14 years 1 months ago
A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
Romi S. Wahono, Behrouz H. Far
UML
2001
Springer
14 years 1 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
RE
2010
Springer
13 years 3 months ago
A goal-based framework for contextual requirements modeling and analysis
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
ICESS
2005
Springer
14 years 2 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha