May 10, 2017 22:00
7 yrs ago
English term
China
spec out
English to Chinese
Marketing
IT (Information Technology)
Cosmos DB
As Shukla noted, though, his idea here was to build a database system that could last decades. To do this, he also brought in Lamport to teach the team TLA+. Lamport has long had a special interest in how developers {spec out} their applications. TLA+ is essentially a formal language for doing just that.
spec可以作动词使用吗？
不知这里的spec out是啥意思？
根据软件规范编写出？
spec可以作动词使用吗？
不知这里的spec out是啥意思？
根据软件规范编写出？
Proposed translations
11 mins
Selected
FYI
{spec out} their applications
write a specification for their applications
spec out
verb - transitive
to write a spec (specification.)
Over the next week I'm going to spec out the new UI framework.
Pro SQL Server 2008 Administration - 第 27 页 - Google 图书结果
https://books.google.com/books?isbn=1430223731 - 翻译此页
Ken Simmons, Sylvester Carstarphen - 2009 - Computers
To spec out the server is to create a document that contains specifications for the server (both brand and model), the CPU requirements (how fast and how ...
--------------------------------------------------
Note added at 13 mins (2017-05-10 22:14:11 GMT)
--------------------------------------------------
为他们的软件编写/编制/列出规范
write a specification for their applications
spec out
verb - transitive
to write a spec (specification.)
Over the next week I'm going to spec out the new UI framework.
Pro SQL Server 2008 Administration - 第 27 页 - Google 图书结果
https://books.google.com/books?isbn=1430223731 - 翻译此页
Ken Simmons, Sylvester Carstarphen - 2009 - Computers
To spec out the server is to create a document that contains specifications for the server (both brand and model), the CPU requirements (how fast and how ...
--------------------------------------------------
Note added at 13 mins (2017-05-10 22:14:11 GMT)
--------------------------------------------------
为他们的软件编写/编制/列出规范
4 KudoZ points awarded for this answer.
Comment: "谢谢！"
Discussion
AWS and others also use TLA+ to spec out their distributed systems