Sciweavers

10435 search results - page 1795 / 2087
» Computational Biology and Language
Sort
View
ISORC
1998
IEEE
15 years 11 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
ISORC
1998
IEEE
15 years 11 months ago
An Approach to Distributed Component-Based Real-Time Application Software Development
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
Stephen S. Yau, Bing Xia
SCCC
1998
IEEE
15 years 11 months ago
Software Architectural Specification for Optimal Object Distribution
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
M. Cecilia Bastarrica, Steven A. Demurjian, Alexan...
DSVIS
1998
Springer
15 years 11 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
ECOOPW
1998
Springer
15 years 11 months ago
Aspects of Enterprise Java Beans
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...
Gregory Blank, Gene Vayngrib
« Prev « First page 1795 / 2087 Last » Next »