Sciweavers

287 search results - page 8 / 58
» Guidelines From Organizational Requirements to Formal Specif...
Sort
View
81
Voted
JOT
2010
142views more  JOT 2010»
14 years 8 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
ICST
2009
IEEE
14 years 7 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
TSE
1998
115views more  TSE 1998»
14 years 9 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
EKAW
2000
Springer
15 years 1 months ago
The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
Domenico M. Pisanelli, Aldo Gangemi, Geri Steve
ICMAS
1998
14 years 11 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh