Sciweavers

1435 search results - page 40 / 287
» CASE Support and Model-Based Development
Sort
View
TPHOL
1998
IEEE
13 years 12 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
COMPSAC
2002
IEEE
14 years 16 days ago
Case Study: Componentization of an Industrial Control System
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
Frank Lüders, Ivica Crnkovic, Andreas Sjö...
IJCIS
2006
161views more  IJCIS 2006»
13 years 7 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
CCE
2006
13 years 7 months ago
Ontological informatics infrastructure for pharmaceutical product development and manufacturing
Informatics infrastructure plays a crucial role in supporting different decision making activities related to pharmaceutical product development, pilot plant and commercial scale ...
Venkat Venkatasubramanian, Chunhua Zhao, Girish Jo...
SIGITE
2004
ACM
14 years 1 months ago
Implementation of object-orientation using UML in entry level software development courses
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
Mohammad H. N. Tabrizi, Carol B. Collins, E. Ozan,...