Search Sciweavers | Sciweavers

3514 search results - page 35 / 703

» Evolving Specification Engineering

click to vote

QSIC
2008
IEEE

100views Software Engineering» more QSIC 2008»

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)

14 years 2 months ago

Download users.encs.concordia.ca

Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

141views Software Engineering» more ICSE 2010»

Can clone detection support quality assessments of requirements specifications?

14 years 18 days ago

Download www4.informatik.tu-muenchen.de

Elmar Jürgens, Florian Deissenboeck, Martin F...

claim paper

Read More »

click to vote

KBSE
2000
IEEE

71views Software Engineering» more KBSE 2000»

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

14 years 5 days ago

Download www-higashi.ist.osaka-u.ac.jp

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bo...

claim paper

Read More »

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

13 years 12 months ago

Download www.cse.iitd.ernet.in

Carlos Carreras, Juan Carlos López, Mar&iac...

claim paper

Read More »

click to vote

ESEC
1993
Springer

80views Software Engineering» more ESEC 1993»

Inconsistency Handling in Multi-Perspective Specifications

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers