Search Sciweavers | Sciweavers

6618 search results - page 253 / 1324

» Natural Logic for Natural Language

154

click to vote

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

15 years 12 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

162

click to vote

UML
2004
Springer

96views Natural Language Processing» more UML 2004»

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation

15 years 12 months ago

Download www-st.inf.tu-dresden.de

Simone Röttger, Steffen Zschaler

claim paper

Read More »

144

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 12 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

122

click to vote

EXTREME
2003
ACM

82views Natural Language Processing» more EXTREME 2003»

tolog for TMQL

15 years 12 months ago

Download www.isotopicmaps.org

Lars Marius Garshol

claim paper

Read More »

120

click to vote

EXTREME
2003
ACM

77views Natural Language Processing» more EXTREME 2003»

XML and the art of code maintenance

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers