Sciweavers

407 search results - page 25 / 82
» An Intuitive Automated Modelling Interface for Systems Biolo...
Sort
View
SIGSOFT
2000
ACM
15 years 2 months ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
SCM
1998
14 years 11 months ago
PRCS: The Project Revision Control System
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato
DLOG
2007
15 years 1 days ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
15 years 4 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
ISAS
2007
Springer
15 years 3 months ago
MDDPro: Model-Driven Dependability Provisioning in Enterprise Distributed Real-Time and Embedded Systems
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
Sumant Tambe, Jaiganesh Balasubramanian, Aniruddha...