Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 years ago.
Improve this question
I'm currently taking a course in concurrent software design, and we're focusing a lot on modeling. I see the value in this, but I am not sure if the tool we are using is horrible, good, or somewhere in between, because I can't find any other examples. We're currently using LTS Analyzer, with some more information here.
So my question is, for anyone who has done concurrent system design, do you model you application before implementing, and if so what tools do you use to do so? Thanks.
While I haven't used is myself I've heard some good things about JPF (planning to use it soon).
One of the more widely known tools for modelling & verification of concurrent/distributed systems in various industries is the SPIN model checker: http://spinroot.com/spin/
However keep in mind that no matter how correct your design and/or verified your model is, your implementation still needs to follow suit. This is where many projects fail in one way or another.
Related
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 years ago.
Improve this question
I have an application that is written in C++ and would like to offer the user the possibility to have a VBA-programming interface (not dissimilar from the one in Excel). Is there the possibility to do that? Does a set of libraries exists for this? Is it very difficult to do?
Yes it is possible, but do regard it as being extremely difficult. As a starter for ten, your application will need a comprehensive Component Object Model interface. At that point, you would be able to use VBScript, so it might be wise to stop there.
For fully-fledged embedded VBA, you'll need to negotiate a licence with Microsoft.
Some applications (e.g. Reuters Kobra) licence the VBA interface in a similar way.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
I am new to Redis and want to use it in my application.
Have tried doing various steps from links across the web but not able to get it done,I need to send / receive strings to/ from redis db using c++..
If anyone knows any certain way or link where I can get the clear steps it will be very helpful!
HiRedis is your best bet: https://github.com/redis/hiredis
It's a C client, so you might want to write some wrappers for convenience, but it's very solid. The downside is that it's not easiest to use asynchronously if you have to make more than a few calls.
I've also used cpp_redis: https://github.com/cylix/cpp_redis
It's easier to use, but last time I worked with it, it still had some bugs. It is in active development, however, so it likely to be better by now. It also comes with MSVC project, so it might make it a lot easier for you to integrate. If stability isn't crucial for your project, and integration time is, I'd give it a try.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
I have a huge project with a bunch of features. Each of these features are new to the product so I'm a bit worried how customers will perceive them. I'm wondering if there are tools out there that help me facilitate my features releases. Are there any analytic tools out there that let me measure which one is working and which isn't? I'm worried I might lose customers.
I believe there's no such universal tool for testing everything in everyone. However there are some work flows and methodologies which helps to ensure released functionality quality. For example writing some tests in software level with some schedule should help a lot.
I cannot provide any concrete guidance since every team takes practices which suits best their needs.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
Recently I tried tup and I am VERY impressed by its correctness and speed, and the fact that monitoring the file system makes the tool really robust. It is also very easy to understand.
It never gets anything wrong, and when it does, it will show me. I would like to find a tool that is more mainstream and cross-platform friendly as long as it meets the requirements below.
My questions are:
Do you know any alternative build tool that has:
O(1) rebuilds.
Completely correct dependency tracking.
(Optional) Takes advantage of filesystem access.
EDIT: This is not a subjective "recommend me a tool" question, it is give me names of tools that meet these requirements because I would like to further research on how they behave for my use cases.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 8 years ago.
Improve this question
was in a waterstones branch today and saw a C++ book relating to derivatives. Just wondered if there are any specific books relating to high frequency trading, from the infrastructure side?
I'm especially interested in latency issues and generally how to make a c++ (or java) trading platform.
I've seen CLI mentioned a few times, although i'm not sure if this is something i should learn too??
The economics of publishing being what they are, I would be very surprised if there was a book published on such a narrow topic.
None that I've ever seen. If there were any, they would probably be terrible.
This is an area where the only way to learn how to do it is to get on to the battlefield.