Sciweavers

114 search results - page 17 / 23
» How to Write and Use the Ontology Requirements Specification...
Sort
View
BMCBI
2006
138views more  BMCBI 2006»
13 years 7 months ago
Determination of strongly overlapping signaling activity from microarray data
Background: As numerous diseases involve errors in signal transduction, modern therapeutics often target proteins involved in cellular signaling. Interpretation of the activity of...
Ghislain Bidaut, Karsten Suhre, Jean-Michel Claver...
JFP
2007
136views more  JFP 2007»
13 years 7 months ago
Practical type inference for arbitrary-rank types
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
ASWEC
1998
IEEE
13 years 11 months ago
Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 1 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ICALT
2006
IEEE
14 years 1 months ago
Integrating Learning Objects to Business Processes
The fast development of technologies requires specialized skills that need to be renewed frequently. For example, the semantic web technologies related to knowledge centric organi...
Juha Puustjärvi