Replied directly to Jerry. I am not sure the RE Group will be interested in my draft proposals. Thanks. Putcha V. Narasimham Mobile 98660 71582 Home...
Hi Putcha, Yes, your proposal is not exposed in the forum and we can talk about that offline. Objects, Services and Busines Processes are at different...
Hi All, I couldn't understand the key concepts of Formal Requirements Analysis. What can we do in order to achive formal analysis? Which methods can we use? ...
Hai Tony Markos: Glad to see your message. It is a while since you last communicated. It is a good restatement of your views. AA I request you kindly...
Hello, I have been working on the problem of how to analyse requirements. What I have learned so far is the following: 1) The group (architects, developers,...
Analysis creates knowledge not understanding. If an automobile is not working. We do analysis to find out what parts are not working. But it cannot answer...
What is about the requirements engineering that we are not happy with? What are the things a formal requirements methodology is expected to accomplish?...
Hi All ... accomplish? Here is my view on this. I think that "formal" in this context means "capable of supporting reasoning", in the sense of mathematics....
Ashley, Proof, reseasoning, and inference all refere to a thing that belongs to what traditionally called philosophy where mathematics falls into the...
Kasim: 1. Formal analysis simply means that you follow/apply some formal (i.e. defined) techniques. 2. “Criteria for well-analyzed requirements” – I can...
Hi Jerry ... software industry problem: development begins without adquate requirements. Does it have limitations and what are they? Or is it a "silver...
Ashley, Sounds weird. 1) Do you think that there is a problem(s) in software industry? 2) Is "developmentbegins without adquate requirements" such a...
I ran across the following problem recently and do not have a strong opinion about how to solve it. In fact, there seems to be no solution that I find to be...
Don, Break this requirement into two requirements: System tests boundary value and provides response. Boundary value is a tunable parameter set by user-type-X...
Bob, Not sure that works. It seems to assume that a specific value is appropriate, when the boundary is truly fuzzy. Even if the boundary is not fuzzy, the...
If the boundary is truly fuzzy, then we do not want an absolute switch either. Probably there is a state in which the system is operating and we want to switch...
This looks like a problem to be solved by formal method. Create a mathematical model with desired properties. Use theorem prover to prove the model that...
This looks like a problem to be solved by formal method. Create a mathematical model with desired properties. Use theorem prover to prove the model that...
Hi Jerry Here are my answers: 1) Some projects have problems, some do not. 2) Sometimes. Different projects have different problems, with the need for...
Ashley, Love your musician analogy. If you don’t mind, I would like to quote it in my next book on engineering safety- and security-related requirements. ...
Hi Donald ... it in my next book on engineering safety- and security-related requirements. Yes, please do. I think it makes the point quite nicely. Rgds Ashley...
Don Is the important factor that the value itself is at a certain level or the event that it has crossed a threshold? I would think that the expectation is...
I use a similar analogy to explain that "knowing how" is not the same as "being able to". I "know how" to play the piano, you press the keys and the notes come...
Don and Keith: This is my understanding of the problem stated by Don and Keiths solution. Let me know if it is correct. I consider that fuzziness may apply...
Keith, Using hysteresis is certainly one solution to the problem of boundary value testing under jitter. Another would be requiring that the measured value of...
