Search Sciweavers | Sciweavers

4919 search results - page 41 / 984

» A Process-Ontological Model for Software Engineering

121

click to vote

APSEC
1997
IEEE

82views Software Engineering» more APSEC 1997»

Towards Constructing a Class Evolution Model

15 years 10 months ago

Download www.graco.c.u-tokyo.ac.jp

Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...

claim paper

Read More »

115

click to vote

CODES
1997
IEEE

69views Software Engineering» more CODES 1997»

Modeling micro-controller peripherals for high-level co-simulation and synthesis

15 years 10 months ago

Download www.cs.ucr.edu

Harry Hsieh, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

135

click to vote

COMPSAC
1997
IEEE

117views Software Engineering» more COMPSAC 1997»

Model-Based Architecture for the Intranet

15 years 10 months ago

Download img.jp.fujitsu.com

Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanay...

claim paper

Read More »

152

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 10 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

106

click to vote

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers