Search Sciweavers | Sciweavers

4919 search results - page 41 / 984

» A Process-Ontological Model for Software Engineering

click to vote

APSEC
1997
IEEE

82views Software Engineering» more APSEC 1997»

Towards Constructing a Class Evolution Model

15 years 2 months ago

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

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

claim paper

Read More »

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 2 months ago

Download www.cs.ucr.edu

Harry Hsieh, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

click to vote

COMPSAC
1997
IEEE

117views Software Engineering» more COMPSAC 1997»

Model-Based Architecture for the Intranet

15 years 2 months ago

Download img.jp.fujitsu.com

Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanay...

claim paper

Read More »

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 1 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers