When writing up Functional requirements, is it best practice NOT to incorporate the solution definition into the document? Many of the site I work on have a solution already defined - such an open source CMS (WordPress or Drupal). Even though we have the solution, we still have to work out the fine details, for example what fields will b...
Hi All, I was wondering if you know of any utilities for writing software specifications? Ideally a utility that allows one to define features, expectations, and relationships between various system functions. I'm looking for something that can be presented to customers so I'm assuming it would be high level but easily translated int...
I want to do that in JML: //@ requires (\forall int i : array[i] < array[i+1]) void calculatesDistances(int[] array){ .. } I couldn't make it work, saw a lot of examples in JML specs, but couldn't find a way how to do it. So, how can i make it? ...
Apart from an architectural point of view, i'm wondering if there is any difference in .net between a readonly property and a function. Are properties only conceptual wrappers around functions? Private m_Property As String Public ReadOnly Property PropertyGet() As String Get Return m_Property End Get...
Hi, I have a question, that may sound strange. I am interested to know if J2EE containers allow to the applications deployed, to open direct server sockets (by-passing essentially the container) for their own purposes. I know that it is strange to want to do that, but the reason I am asking is because, I have read that a javax.xml.endoi...