Sciweavers

2493 search results - page 299 / 499
» Tool Support for Design by Contract
Sort
View
TOSEM
2002
118views more  TOSEM 2002»
14 years 10 months ago
Modeling software architectures in the Unified Modeling Language
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
Nenad Medvidovic, David S. Rosenblum, David F. Red...
AUIC
2002
IEEE
15 years 3 months ago
Evolving the Browser Towards a Standard User Interface Architecture
If current trends continue, it is likely that the web browser will become the only widely used user interface. Web applications will become the predominant software. Should this h...
Michael J. Rees
ECBS
2002
IEEE
119views Hardware» more  ECBS 2002»
15 years 3 months ago
Managing Complex Temporal Requirements in Real-Time Control Systems
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
Kristian Sandström, Christer Norström
DDEP
2000
Springer
15 years 3 months ago
Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
Jin-Cheon Na, Richard Furuta
BMCBI
2011
14 years 2 months ago
SeqGene: a comprehensive software solution for mining exome- and transcriptome- sequencing data
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
Xutao Deng