Sciweavers

3514 search results - page 114 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
FLAIRS
2006
15 years 3 months ago
Constructing a Corpus-based Ontology Using Model Bias
Recent work in lexical resource construction has recognized the importance of contextualizing the knowledge in existing resources and ontologies with information derived from text...
Anna Rumshisky, Patrick Hanks, Catherine Havasi, J...
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 7 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
ICDT
2009
ACM
143views Database» more  ICDT 2009»
16 years 2 months ago
Automatic construction of simple artifact-based business processes
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
Christian Fritz, Richard Hull, Jianwen Su
RE
2002
Springer
15 years 1 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
BIRTHDAY
2007
Springer
15 years 8 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner