<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Formal specification - Page 10 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Formal_specification&amp;p=9">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Formal_specification&amp;p=11">3.Next</a>
</p>
<p>Limited scope<br/>
** They do not capture properties of interest for all <a href="page.php?w=Requirements_analysis">stakeholders</a> in the project<br/>
** They do not do a good job of specifying user interfaces and user interaction<br/>
* Not cost-effective<br/>
** This is not entirely true; by limiting their use to only core parts of critical systems they have shown to be cost-effective</p>

<p>Other limitations:<br/>
* Isolation<br/>
* Low-level ontologies<br/>
* Poor guidance<br/>
* Poor <a href="page.php?w=separation_of_concerns">separation of concerns</a><br/></p><p>
<a accesskey="1" href="page.php?w=Formal_specification&amp;p=9">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Formal_specification&amp;p=11">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
