Sciweavers

1937 search results - page 40 / 388
» Starting B Specifications from Use Cases
Sort
View
ICCBR
1997
Springer
15 years 6 months ago
From Troubleshooting to Process Design: Closing the Manufacturing Loop
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...
Chris J. Price, Ian S. Pegler, M. B. Ratcliffe, A....
WETICE
2000
IEEE
15 years 6 months ago
Integrating XML and Object-Based Programming for Distributed Collaboration
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
Vassil Roussev, Prasun Dewan, Naveen Koorakula, Sr...
CINQ
2004
Springer
116views Database» more  CINQ 2004»
15 years 5 months ago
Contribution to Gene Expression Data Analysis by Means of Set Pattern Mining
Abstract. One of the exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, it is e...
Ruggero G. Pensa, Jérémy Besson, C&e...
DALT
2006
Springer
15 years 5 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner
111
Voted
AISC
2008
Springer
15 years 3 months ago
Case Studies in Model Manipulation for Scientific Computing
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
Jacques Carette, Spencer Smith, John McCutchan, Ch...