1492 search results - page 105 / 299 » Integrative, model-based engineering design |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
ICSE
2001
IEEE-ACM
14 years 16 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
IWSSD
2000
IEEE
14 years 14 days ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...